Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Top.presheaf.locally_surjective_iff_surjective_on_stalks

Modification history

2022-11-13 12:50
src/topology/sheaves/locally_surjective.lean
feat(topology/sheaves): Locally surjective maps of presheaves (#15398) …
Added Top.presheaf.locally_surjective_iff_surjective_on_stalksView on Github →