Theorem OpenSubgroup.toSubgroup_sup

Modification history