Commit 2026-03-02 15:01 921b06da
View on Github →refactor(Topology/Sheaves/LocallySurjective): change isLocallySurjective_iff (#35983)
Change the statement of isLocallySurjective_iff so that it gives an equivalent condition more adapted to sheaves on topological spaces, i.e. with a restriction to s smaller open subset instead of along a morphism.