Theorem ConjClasses.forall_isConj

Modification history