a Revolving Orthogonal-polynomial Lean-Verified Expository Reference
Timon S. Gutleb
For offline reading, download the PDF version.