Theorem: AIG.toCNF.State.Inv_nil (LeanSAT/AIG/CNF.lean)

State before:
aig : AIG Nat
⊢ Inv []
Tactic:
simp [State.Inv]
State after:
no goals