`BookProof.ChapterSoftmaxJacobian.softmaxJacobian_row_sum_zero` (beta : ℝ) (s : Fin m → ℝ) (i : Fin m) : ∑ j, softmaxJacobian beta s i j = 0

Initializing...

`BookProof.ChapterSoftmaxJacobian.softmaxJacobian_row_sum_zero` (beta : ℝ) (s : Fin m → ℝ) (i : Fin m) : ∑ j, softmaxJacobian beta s i j = 0 · Prove2Me