Theorem Subgroup.map_equiv_eq_comap_symm'

Modification history