original publication

Kawada submits Erdős 522 random-polynomial-zeros proof preprint with Lean work