`BookProof.ChapterSphericalBesselODE.pow_pred_coef` (l : ℕ) {r : ℝ} (hr : r ≠ 0) : (l : ℝ) * r ^ (l

Initializing...

`BookProof.ChapterSphericalBesselODE.pow_pred_coef` (l : ℕ) {r : ℝ} (hr : r ≠ 0) : (l : ℝ) * r ^ (l - 1) = r ^ l * ((l : ℝ) / r) · Prove2Me