Theorem AlgebraicGeometry.SheafedSpace.hom_stalk_ext

Modification history

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