Theorem TopCat.Presheaf.isSheaf_iff_isSheafOpensLeCover

Modification history

2023-05-23 15:02
Mathlib/Topology/Sheaves/SheafCondition/OpensLeCover.lean
feat: port Topology.Sheaves.SheafCondition.OpensLeCover (#4273)
Added TopCat.Presheaf.isSheaf_iff_isSheafOpensLeCoverView on Github →