Mathlib v3 is deprecated. Go to Mathlib v4

Def Top.presheaf.is_locally_surjective

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_surjectiveView on Github →