Commit 2020-09-11 14:46 233a802c

View on Github →

feat(algebraic_geometry/Scheme): Spec as Scheme (#4104)

def Spec (R : CommRing) : Scheme

Estimated changes