`BookProof.ChapterE4.wave_self_succ` (θ : ℕ → ℝ) (s d : ℕ) : wave θ s (d + 1) s = Real.cos (θ s)

Initializing...

`BookProof.ChapterE4.wave_self_succ` (θ : ℕ → ℝ) (s d : ℕ) : wave θ s (d + 1) s = Real.cos (θ s) · Prove2Me