Theorem: LeanSAT.Model.PropFun.eval_fls (LeanSAT/Model/PropFun.lean)

State before:
ν : Type u_1
τ : PropAssignment ν
⊢ eval τ fls = false
Tactic:
simp [eval, fls]
State after:
no goals