Experimental renaming of R to \mathbb A

felixwellen / synthetic-zariski

Latex documentation of our understanding of the synthetic /internal theory of the Zariski-Topos

MIT License

50 stars 5 forks source link

Open felixwellen opened 5 months ago