`BookProof.ChapterE4.wave_eq_zero_of_lt` (θ : ℕ → ℝ) (s d i : ℕ) (h : i < s) : wave θ s d i = 0

Initializing...

`BookProof.ChapterE4.wave_eq_zero_of_lt` (θ : ℕ → ℝ) (s d i : ℕ) (h : i < s) : wave θ s d i = 0 · Prove2Me