Structure CategoryTheory.Comonad.Coalgebra

Modification history