Theorem Subgroup.comap_injective_isMulCommutative

Modification history