Structure CategoryTheory.Comonad.Coalgebra.Hom

Modification history