Def category_theory.monad.monadicity_internal.left_adjoint_comparison

Modification history