Def category_theory.monad.monadicity_internal.comparison_adjunction

Modification history