Def CategoryTheory.ComonadIso.mk

Modification history

2023-03-24 13:50

Mathlib/CategoryTheory/Monad/Basic.lean

feat: port CategoryTheory.Monad.Basic (#2969)

Added CategoryTheory.ComonadIso.mk View on Github →