P
Initializing...
`BookProof.ChapterLayerNorm.variance_nonneg` (x : Fin d → ℝ) : 0 ≤ variance x · Prove2Me