Theorem Subgroup.inf_relindex_left

Modification history