Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.presheaf.is_sheaf_for_is_sheaf_for'

Modification history