Theorem ConjClasses.quotient_mk_eq_mk

Modification history