Theorem ConjClasses.mem_carrier_iff_mk_eq

Modification history