`BookProof.ChapterLegendrePolynomial.legendre_coeff_self_ne_zero` (l : ℕ) : (legendre l).coeff l ≠ 0

Initializing...

`BookProof.ChapterLegendrePolynomial.legendre_coeff_self_ne_zero` (l : ℕ) : (legendre l).coeff l ≠ 0 · Prove2Me