Theorem CategoryTheory.Presheaf.isLocallySurjective_iff_range_sheafify_eq_top'

Modification history

2025-02-07 15:17
Mathlib/CategoryTheory/Sites/LocallySurjective.lean
chore(CategoryTheory/Sites): fix names (#21540) …
Added CategoryTheory.Presheaf.isLocallySurjective_iff_range_sheafify_eq_top'View on Github →