Theorem MonoidHom.isLocalHom_comp

Modification history