Theorem Multiplicative.isMonoidHom

Modification history