Rename R to mathcal O - Githubissues

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