`BookProof.ChapterF4.countSketch_add` (hash : α → κ) (s : α → Ω → ℝ) (x y : α → ℝ) (ω : Ω) (h : κ) : countSketch hash s (x + y) ω h = countSketch hash s x ω h + countSketch...

Initializing...

`BookProof.ChapterF4.countSketch_add` (hash : α → κ) (s : α → Ω → ℝ) (x y : α → ℝ) (ω : Ω) (h : κ) : countSketch hash s (x + y) ω h = countSketch hash s x ω h + countSketch... · Prove2Me