`BookProof.ChapterAttentionSink.sinkWeight_pos` (beta s0 : ℝ) (s : Fin m → ℝ) : 0 < sinkWeight beta s0 s

Initializing...

`BookProof.ChapterAttentionSink.sinkWeight_pos` (beta s0 : ℝ) (s : Fin m → ℝ) : 0 < sinkWeight beta s0 s · Prove2Me