Theorem CategoryTheory.Monad.Algebra.Hom.ext'

Modification history

2024-08-05 08:52
Mathlib/CategoryTheory/Monad/Algebra.lean
chore: move toolchain to v4.11.0-rc1 (#15513)
Modified CategoryTheory.Monad.Algebra.Hom.ext'View on Github →
2023-04-19 15:24
Mathlib/CategoryTheory/Monad/Algebra.lean
Feat: Port CategoryTheory.Monad.Algebra (#3525)
Added CategoryTheory.Monad.Algebra.Hom.ext'View on Github →