Theorem Subgroup.Normal.of_map_injective

Modification history