Theorem MulEquiv.isMonoidHom

Modification history