Theorem Multiplicative.isSubgroup

Modification history