mathlib3
90ba0541
- feat(algebraic_geometry): Define the category of `AffineScheme`s (#11326)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
4 years ago
feat(algebraic_geometry): Define the category of `AffineScheme`s (#11326)
Author
erdOne
Parents
c03bd328
Loading
mathlib3
90ba0541 - feat(algebraic_geometry): Define the category of `AffineScheme`s (#11326)
