Def category_theory.monad.has_limit_of_comp_forget_has_limit

Modification history