Theorem AlgebraicGeometry.SheafedSpace.mono_of_base_injective_of_stalk_epi

Modification history

2024-07-31 09:13
Mathlib/Geometry/RingedSpace/SheafedSpace.lean
feat(AlgebraicGeometry): Define preimmersions. (#14748)
Added AlgebraicGeometry.SheafedSpace.mono_of_base_injective_of_stalk_epiView on Github →