mathlib
233a802c - feat(algebraic_geometry/Scheme): Spec as Scheme (#4104)

Commit

5 years ago

feat(algebraic_geometry/Scheme): Spec as Scheme (#4104) ```lean def Spec (R : CommRing) : Scheme ```

References

Author

kckennylau

Parents