Def CategoryTheory.Monad.algebraFunctorOfMonadHomComp

Modification history