Def category_theory.monad.algebra_functor_of_monad_hom_comp

Modification history