Def CategoryTheory.Monad.algebraFunctorOfMonadHomEq

Modification history

2023-04-19 15:24

Mathlib/CategoryTheory/Monad/Algebra.lean

Feat: Port CategoryTheory.Monad.Algebra (#3525)

Added CategoryTheory.Monad.algebraFunctorOfMonadHomEq View on Github →