Theorem ConjClasses.one_eq_mk_one

Modification history