`BookProof.ChapterSoftmaxJacobian.weightedVar_nonneg` (beta : ℝ) (s x : Fin m → ℝ) (i : Fin m) : 0 ≤ weightedVar beta s x

Initializing...

`BookProof.ChapterSoftmaxJacobian.weightedVar_nonneg` (beta : ℝ) (s x : Fin m → ℝ) (i : Fin m) : 0 ≤ weightedVar beta s x · Prove2Me