Preformalized
Mathematics submitted as a network of statements rather than as a document: every definition, lemma and theorem is a node, and every use of one by another is an edge. Each entry opens into the network itself.
Sample Note: The min-max route to finite extinction of Ricci flow
Xinze LiHow sweepouts by -spheres force the Ricci flow with surgery to die in finite time: the width, its evolution inequality, and the extinction they force.
- Comments:
- 10 sections · 64 statements · submitted August 17, 2026 (v5)