Def CoalgCat.toComon

Modification history

2025-09-17 06:03

Mathlib/Algebra/Category/CoalgCat/ComonEquivalence.lean

chore: rename `Mon_`, `Comon_`, ... to `Mon`, `Comon`, etc (#29660) …

Modified CoalgCat.toComon View on Github →

2025-05-17 22:59

Mathlib/Algebra/Category/CoalgCat/ComonEquivalence.lean

chore: rename `AlgebraCat` to `AlgCat` (#23721) …

Added CoalgCat.toComon View on Github →