ring
R : Type u_1
C : Type ?u.4719
inst✝³ : Scalar R C
inst✝² : RealScalar R
W : Type ?u.4729
inst✝¹ : Vec R W
U : Type u_2
inst✝ : SemiHilbert R U
μ : U
σ : R
x : U
⊢ -log (sqrt (2 * pi)) + -log σ + -‖σ⁻¹ • (x - μ)‖₂² / 2 = -‖σ⁻¹ • (x - μ)‖₂² / 2 - log σ - log (sqrt (2 * pi))
no goals