`BookProof.ChapterLegendrePolynomial.iterD_add` (k : ℕ) (p q : ℝ[X]) : derivative^[k] (p + q) = derivative^[k] p + derivative^[k] q

Initializing...

`BookProof.ChapterLegendrePolynomial.iterD_add` (k : ℕ) (p q : ℝ[X]) : derivative^[k] (p + q) = derivative^[k] p + derivative^[k] q · Prove2Me