Theorem Subgroup.relindex_eq_zero_of_le_left

Modification history