The solutions to single-variable polynomials, implemented and verified in Lean. - Nicholas Dyson; Benedikt Ahrens; Jacopo Emmenegger (CoRR, 2022)