Theorem Subgroup.comap_equiv_eq_map_symm'

Modification history