Theorem CategoryTheory.Monad.algebra_epi_of_epi

Modification history