Theorem CommGrpTypeEquivalenceCommGrp.inverse_obj_inv

Modification history