`BookProof.ChapterCrossEntropyGradient.crossEntropyLoss_nonneg` (beta : ℝ) (s : Fin m → ℝ) (y : Fin m) : 0 ≤ crossEntropyLoss beta s y

Initializing...

`BookProof.ChapterCrossEntropyGradient.crossEntropyLoss_nonneg` (beta : ℝ) (s : Fin m → ℝ) (y : Fin m) : 0 ≤ crossEntropyLoss beta s y · Prove2Me