felixwellen / synthetic-geometry

Synthetic geometry. Probably mostly algebraic geometry.
MIT License
23 stars 4 forks source link

Rename 'k' to 'R' #20

Open felixwellen opened 2 years ago