Mathlib v3 is deprecated. Go to Mathlib v4

Theorem Top.presheaf.is_locally_surjective_iff

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.is_locally_surjective_iffView on Github →