`BookProof.ChapterAttentionStreaming.newWeight_lt_one` (beta sn : ℝ) (s : Fin m → ℝ) (i : Fin m) : newWeight beta sn s < 1

Initializing...

`BookProof.ChapterAttentionStreaming.newWeight_lt_one` (beta sn : ℝ) (s : Fin m → ℝ) (i : Fin m) : newWeight beta sn s < 1 · Prove2Me