`BookProof.ChapterAttentionCollision.effectiveSupport_scoreSoftmax_mem_Icc` (beta : ℝ) (s : Fin m → ℝ) (i : Fin m) : effectiveSupport (scoreSoftmax beta s) ∈ Set.Icc (1 : ℝ) (m : ℝ

Initializing...

`BookProof.ChapterAttentionCollision.effectiveSupport_scoreSoftmax_mem_Icc` (beta : ℝ) (s : Fin m → ℝ) (i : Fin m) : effectiveSupport (scoreSoftmax beta s) ∈ Set.Icc (1 : ℝ) (m : ℝ · Prove2Me