FormalGeomNotes icon indicating copy to clipboard operation
FormalGeomNotes copied to clipboard

Bring Yanovski’s results back

Open ecpeterson opened this issue 1 year ago • 0 comments

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.

ecpeterson avatar Mar 13 '23 01:03 ecpeterson