Theorem: BoolExpr.size_pos (LeanSAT/Reflect/BoolExpr/Basic.lean)

State before:
α : Type
x : BoolExpr α
⊢ 0 < x.size
Tactic:
cases x <;> simp [size] <;> omega
State after:
no goals