`BookProof.ChapterLegendrePolynomial.coeff_iterD_two` (Y : ℝ[X]) (j : ℕ) : (derivative^[2] Y).coeff j = (((j : ℝ) + 2) * ((j : ℝ) + 1)) * Y.coeff (j + 2)

Initializing...

`BookProof.ChapterLegendrePolynomial.coeff_iterD_two` (Y : ℝ[X]) (j : ℕ) : (derivative^[2] Y).coeff j = (((j : ℝ) + 2) * ((j : ℝ) + 1)) * Y.coeff (j + 2) · Prove2Me