Theorem AlgebraicGeometry.SheafedSpace.hom_stalk_ext

Modification history

2025-12-18 13:14

Mathlib/Geometry/RingedSpace/SheafedSpace.lean

refactor(CategoryTheory): make morphisms in full subcategories a 1-field structure (#26446) …

Modified AlgebraicGeometry.SheafedSpace.hom_stalk_ext View on Github →

2024-07-31 09:13

Mathlib/Geometry/RingedSpace/SheafedSpace.lean

feat(AlgebraicGeometry): Define preimmersions. (#14748)

Added AlgebraicGeometry.SheafedSpace.hom_stalk_ext View on Github →