Theorem Subgroup.isSubgroup

Modification history