Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Top.presheaf.is_sheaf_sites_iff_is_sheaf_opens_le_cover

Modification history

2022-07-27 11:14
src/topology/sheaves/sheaf_condition/opens_le_cover.lean
refactor(topology/sheaves): Redefine sheaves in terms of Grothendieck topology. (#15384) …
Deleted Top.presheaf.is_sheaf_sites_iff_is_sheaf_opens_le_coverView on Github →
2022-02-07 19:33
src/topology/sheaves/sheaf_condition/opens_le_cover.lean
feat(topology/sheaf_condition): connect sheaves on sites and on spaces without has_products (#11706) …
Added Top.presheaf.is_sheaf_sites_iff_is_sheaf_opens_le_coverView on Github →