Def CategoryTheory.Monad.algebraFunctorOfMonadHomEq

Modification history