`BookProof.ChapterF4.csketch_smul` (h : Fin d → Fin k) (ω : Fin d → Bool) (a : ℝ) (x : Fin d → ℝ) : csketch h ω (a • x) = a • csketch h ω x

Initializing...

`BookProof.ChapterF4.csketch_smul` (h : Fin d → Fin k) (ω : Fin d → Bool) (a : ℝ) (x : Fin d → ℝ) : csketch h ω (a • x) = a • csketch h ω x · Prove2Me