`BookProof.ChapterSoftmaxJacobian.softmaxJacobian_quadratic_form` (beta : ℝ) (s x : Fin m → ℝ) : ∑ i, ∑ j, x i * softmaxJacobian beta s i j * x j = beta * weightedVar beta s x

Initializing...

`BookProof.ChapterSoftmaxJacobian.softmaxJacobian_quadratic_form` (beta : ℝ) (s x : Fin m → ℝ) : ∑ i, ∑ j, x i * softmaxJacobian beta s i j * x j = beta * weightedVar beta s x · Prove2Me