`BookProof.ChapterSoftmaxBorn.bornNumer_pos` (q k : EuclideanSpace ℝ (Fin n)) : 0 < bornNumer q k

Initializing...

`BookProof.ChapterSoftmaxBorn.bornNumer_pos` (q k : EuclideanSpace ℝ (Fin n)) : 0 < bornNumer q k · Prove2Me