Theorem OpenSubgroup.coe_toSubgroup

Modification history