Theorem Multiplicative.isSubgroup_iff

Modification history