FormalGeomNotes
FormalGeomNotes copied to clipboard
Bring Yanovski’s results back
I’d removed Lior’s results from B.2 in fd2f83d for fear that the slow-to-appear citation meant that the statements were missing something. The preprint is out now https://arxiv.org/abs/2303.02603 , so there’s nothing to worry about any more. Let’s put the text back.