Theorem isLocalHom_toMonoidHom

Modification history