Theorem: BoolExprNat.sat_iff (LeanSAT/Reflect/BoolExpr/Nat.lean)

State before:
x : BoolExprNat
f : List Bool
⊢ x.sat f ↔ x.toBoolExpr.sat fun x => f.getD x false
Tactic:
simp [sat, BoolExpr.sat]
State after:
no goals