Def TopCat.Presheaf.generateEquivalenceOpensLe_functor'

Modification history

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 →