Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.monad.monadicity_internal.comparison_left_adjoint_hom_equiv

Modification history