Theorem CategoryTheory.GrothendieckTopology.W_eq_isLocal_range_sheafToPresheaf_obj

Modification history

2025-11-24 11:02
Mathlib/CategoryTheory/Sites/Localization.lean
chore(CategoryTheory): rename LeftBousfield.W as ObjectProperty.isLocal (#31842) …
Added CategoryTheory.GrothendieckTopology.W_eq_isLocal_range_sheafToPresheaf_objView on Github →