constructor <;> assumption
aig✝ : AIG Nat
cnf1 cnf2 : CNF aig✝.CNFVar
assign1 : Nat → Bool
h1 : CNF.eval (cnfSatAssignment aig✝ assign1) cnf1 = true
h2 : CNF.eval (cnfSatAssignment aig✝ assign1) cnf2 = true
⊢ CNF.eval (cnfSatAssignment aig✝ assign1) cnf1 = true ∧ CNF.eval (cnfSatAssignment aig✝ assign1) cnf2 = true
no goals