Def category_theory.monad.algebra_functor_of_monad_hom_eq

Modification history