Def CategoryTheory.Comonad.Coalgebra.isoMk

Modification history