`BookProof.ChapterAttentionResponse.scoreValueCovariance_const` (beta : ℝ) (s : Fin m → ℝ) (w : E) (i : Fin m) : scoreValueCovariance beta s (fun _ => w) = (0 : E)

Initializing...

`BookProof.ChapterAttentionResponse.scoreValueCovariance_const` (beta : ℝ) (s : Fin m → ℝ) (w : E) (i : Fin m) : scoreValueCovariance beta s (fun _ => w) = (0 : E) · Prove2Me