`BookProof.ChapterAttentionOutput.headOutput_mem_convexHull` (beta : ℝ) (s : Fin m → ℝ) (v : Fin m → E) (i : Fin m) : headOutput beta s v ∈ convexHull ℝ (Set.range v)

Initializing...

`BookProof.ChapterAttentionOutput.headOutput_mem_convexHull` (beta : ℝ) (s : Fin m → ℝ) (v : Fin m → E) (i : Fin m) : headOutput beta s v ∈ convexHull ℝ (Set.range v) · Prove2Me