Theorem Sat.Clause.reify_zero

Modification history