Theorem AlgHom.coe_toMonoidHom

Modification history