Commit 2020-08-31 05:09 b79fc037

View on Github →

feature(algebraic_geometry/Scheme): the category of schemes (#3961) The definition of a Scheme, and the category of schemes as the full subcategory of locally ringed spaces.

Estimated changes