Theorem CommGrpTypeEquivalenceCommGrp.inverse_obj_one

Modification history