Theorem CommGrpTypeEquivalenceCommGrp.inverse_obj_mul

Modification history