Theorem RingHom.to_isMonoidHom

Modification history