Def CategoryTheory.Monad.algebraFunctorOfMonadHomId

Modification history