Theorem IsMulHom.to_isMonoidHom

Modification history