Theorem ConjClasses.mk_injective

Modification history