Theorem MonoidHom.id_toFunctor

Modification history