Def CategoryTheory.Monad.algebraFunctorOfMonadHom

Modification history