Def CategoryTheory.Monad.ofMon

Modification history

2025-09-17 06:03
Mathlib/CategoryTheory/Monad/EquivMon.lean
chore: rename `Mon_`, `Comon_`, ... to `Mon`, `Comon`, etc (#29660) …
Modified CategoryTheory.Monad.ofMonView on Github →
2023-06-28 16:07
Mathlib/CategoryTheory/Monad/EquivMon.lean
feat: port CategoryTheory.Monad.EquivMon (#5086)
Added CategoryTheory.Monad.ofMonView on Github →