Theorem Subgroup.finiteIndex_of_le

Modification history