`BookProof.ChapterSoftmaxJacobian.scorePerturb_of_ne` (s : Fin m → ℝ) {i l : Fin m} (h : l ≠ i) (t : ℝ) : scorePerturb s i t l = s l

Initializing...

`BookProof.ChapterSoftmaxJacobian.scorePerturb_of_ne` (s : Fin m → ℝ) {i l : Fin m} (h : l ≠ i) (t : ℝ) : scorePerturb s i t l = s l · Prove2Me