`BookProof.ChapterF4.csketch_add` (h : Fin d → Fin k) (ω : Fin d → Bool) (x y : Fin d → ℝ) : csketch h ω (x + y) = csketch h ω x + csketch h ω y

Initializing...

`BookProof.ChapterF4.csketch_add` (h : Fin d → Fin k) (ω : Fin d → Bool) (x y : Fin d → ℝ) : csketch h ω (x + y) = csketch h ω x + csketch h ω y · Prove2Me