Def TopCat.Presheaf.isLimitOpensLeEquivGenerate₁

Modification history

2024-08-19 11:42
Mathlib/Topology/Sheaves/SheafCondition/OpensLeCover.lean
chore: backports from byAsSorry (#15759) …
Modified TopCat.Presheaf.isLimitOpensLeEquivGenerate₁View on Github →
2023-05-23 15:02
Mathlib/Topology/Sheaves/SheafCondition/OpensLeCover.lean
feat: port Topology.Sheaves.SheafCondition.OpensLeCover (#4273)
Added TopCat.Presheaf.isLimitOpensLeEquivGenerate₁View on Github →