Theorem OpenSubgroup.toSubgroup_le

Modification history