Theorem ConjClasses.mk_bijective

Modification history