`BookProof.ChapterAttentionResponse.norm_scoreValueCovariance_le` (beta : ℝ) {s : Fin m → ℝ} {v : Fin m → E} {C D : ℝ} (hv : ∀ j, ‖v j‖ ≤ C) (hs : ∀ j, |s j

Initializing...

`BookProof.ChapterAttentionResponse.norm_scoreValueCovariance_le` (beta : ℝ) {s : Fin m → ℝ} {v : Fin m → E} {C D : ℝ} (hv : ∀ j, ‖v j‖ ≤ C) (hs : ∀ j, |s j - meanScore beta... · Prove2Me