`BookProof.ChapterScaledDotProduct.rademacherMean_dot` (k : Fin d → ℝ) : rademacherMean (fun x => dot (signVec x) k) = 0

Initializing...

`BookProof.ChapterScaledDotProduct.rademacherMean_dot` (k : Fin d → ℝ) : rademacherMean (fun x => dot (signVec x) k) = 0 · Prove2Me