Theorem Multiplicative.isSubmonoid

Modification history