Theorem MonoidHom.isLocalHom_of_comp

Modification history