`BookProof.ChapterObservableExpectation.attention_mem_convexHull` (q : EuclideanSpace ℝ (Fin n)) (k : Fin m → EuclideanSpace ℝ (Fin n)) (v : Fin m → E) (j₀ : Fin m) : attentionOutp

Initializing...

`BookProof.ChapterObservableExpectation.attention_mem_convexHull` (q : EuclideanSpace ℝ (Fin n)) (k : Fin m → EuclideanSpace ℝ (Fin n)) (v : Fin m → E) (j₀ : Fin m) : attentionOutp · Prove2Me