`BookProof.ChapterCrossEntropyGradient.convexOn_crossEntropyLoss` (s : Fin m → ℝ) (y : Fin m) : ConvexOn ℝ Set.univ (fun b : ℝ => crossEntropyLoss b s y)

Initializing...

`BookProof.ChapterCrossEntropyGradient.convexOn_crossEntropyLoss` (s : Fin m → ℝ) (y : Fin m) : ConvexOn ℝ Set.univ (fun b : ℝ => crossEntropyLoss b s y) · Prove2Me