Theorem ConjClasses.mk_eq_mk_iff_isConj

Modification history