Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
algebraic_geometry.structure_sheaf.algebra_map_pushforward_stalk
Modification history
2022-12-07 08:32
src/algebraic_geometry/Spec.lean
feat(algebraic_geometry/Spec): `(fā šŖā)ā` is just the localization `Sā` for affine `f : Spec S ā¶ Spec R` (#17471)
Added
algebraic_geometry.structure_sheaf.algebra_map_pushforward_stalk
View on Github ā