Theorem ConjClasses.carrier_eq_preimage_mk

Modification history