Theorem Subgroup.index_inf_le

Modification history