Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
algebraic_geometry.Scheme.empty
Modification history
2022-08-24 09:35
src/algebraic_geometry/Scheme.lean
feat(algebraic_geometry/limits): Empty scheme is initial. (#16086)
Deleted
algebraic_geometry.Scheme.empty
View on Github →
2020-08-31 05:09
src/algebraic_geometry/Scheme.lean
feature(algebraic_geometry/Scheme): the category of schemes (#3961) …
Added
algebraic_geometry.Scheme.empty
View on Github →