Theorem Subgroup.map_injective_of_ker_le

Modification history