Theorem AlgebraicGeometry.SheafedSpace.epi_of_base_surjective_of_stalk_mono

Modification history

2025-09-27 16:22
Mathlib/Geometry/RingedSpace/SheafedSpace.lean
feat(Mathlib/AlgebraicGeometry/Morphisms/Flat): add simple properties of flat maps (#30021) …
Added AlgebraicGeometry.SheafedSpace.epi_of_base_surjective_of_stalk_monoView on Github →