P
Initializing...
`BookProof.ChapterLegendrePolynomial.monic_Xsq_sub_one` : (X ^ 2 - 1 : ℝ[X]).Monic · Prove2Me