Theorem CategoryTheory.Comonad.algebra_epi_of_epi

Modification history