Theorem CategoryTheory.comonadToFunctor_mapIso_comonad_iso_mk

Modification history

2023-03-24 13:50
Mathlib/CategoryTheory/Monad/Basic.lean
feat: port CategoryTheory.Monad.Basic (#2969)
Added CategoryTheory.comonadToFunctor_mapIso_comonad_iso_mkView on Github →