`BookProof.ChapterAttentionOutputVariance.outputVariance_scoreSoftmax_eq_zero_iff` (beta : ℝ) (s : Fin m → ℝ) (v : Fin m → E) : outputVariance (scoreSoftmax beta s) v = 0 ↔ ∀ j, v

Initializing...

`BookProof.ChapterAttentionOutputVariance.outputVariance_scoreSoftmax_eq_zero_iff` (beta : ℝ) (s : Fin m → ℝ) (v : Fin m → E) : outputVariance (scoreSoftmax beta s) v = 0 ↔ ∀ j, v · Prove2Me