Theorem Grp_Class.toMon_Class_injective

Modification history