Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
algebraic_geometry.LocallyRingedSpace.to_Top
Modification history
2020-08-31 05:09
src/algebraic_geometry/locally_ringed_space.lean
feature(algebraic_geometry/Scheme): the category of schemes (#3961) …
Added
algebraic_geometry.LocallyRingedSpace.to_Top
View on Github →