Theorem Sat.Fmla.proof_of_subsumes

Modification history