Theorem MonoidHom.comp_toFunctor

Modification history