Post #1894438
2026-04-29 05:47 UTC
@iblech @jdw Do you mean these notes? https://felix-cherubini.de/proper.pdf From this repo: https://github.com/felixwellen/synthetic-zariski
Replies (1)
-
@iblech@mathstodon.xyz 2026-04-29 20:38
@dwarn @jdw Yes exactly :-) I was unsure whether this document contains the most recent state of affairs or whether one of you has some news which have not yet been written down :-)