Theorem Subgroup.relindex_comap_ne_zero

Modification history