Theorem OpenSubgroup.toSubgroup_inf

Modification history