Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
algebraic_geometry.Spec.Top
Modification history
2021-06-02 04:57
src/algebraic_geometry/structure_sheaf.lean
refactor(algebraic_geometry/structure_sheaf): Rename Spec.Top to prime_spectrum.Top (#7786) …
Deleted
algebraic_geometry.Spec.Top
View on Github →
2020-08-29 13:43
src/algebraic_geometry/structure_sheaf.lean
feat(algebraic_geometry): structure sheaf on Spec R (#3907) …
Added
algebraic_geometry.Spec.Top
View on Github →