Def TopCat.Presheaf.generateEquivalenceOpensLe_functor'

Modification history

2025-02-05 09:36
Mathlib/Topology/Sheaves/SheafCondition/OpensLeCover.lean
chore: remove unused argument (#21393) …
Modified TopCat.Presheaf.generateEquivalenceOpensLe_functor'View on Github →
2024-08-19 11:42
Mathlib/Topology/Sheaves/SheafCondition/OpensLeCover.lean
chore: backports from byAsSorry (#15759) …
Modified TopCat.Presheaf.generateEquivalenceOpensLe_functor'View on Github →
2023-05-23 15:02
Mathlib/Topology/Sheaves/SheafCondition/OpensLeCover.lean
feat: port Topology.Sheaves.SheafCondition.OpensLeCover (#4273)
Added TopCat.Presheaf.generateEquivalenceOpensLe_functor'View on Github →