Def CategoryTheory.Bicategory.OplaxTrans.ComonadBicat.hom

Modification history

2025-12-16 19:53

Mathlib/CategoryTheory/Bicategory/Monad/Basic.lean

chore(CategoryTheory): fix whitespace (#32928)

Modified CategoryTheory.Bicategory.OplaxTrans.ComonadBicat.hom View on Github →

2025-06-06 07:38

Mathlib/CategoryTheory/Bicategory/Monad/Basic.lean

feat(CategoryTheory/Bicategory): define bicategory of comonads (#25461)

Added CategoryTheory.Bicategory.OplaxTrans.ComonadBicat.hom View on Github →