`BookProof.VielbeinFock.shearEnergy_apply` (d : ℕ) (om : Fin d → ℝ) (n : ℕ) (j : Fin n) (x : vielbeinSector d n) : shearEnergy d om n j x = ∑ i : Fin d, om i ^ 2 / 2 * (x (j, i.cas

Initializing...

`BookProof.VielbeinFock.shearEnergy_apply` (d : ℕ) (om : Fin d → ℝ) (n : ℕ) (j : Fin n) (x : vielbeinSector d n) : shearEnergy d om n j x = ∑ i : Fin d, om i ^ 2 / 2 * (x (j, i.cas · Prove2Me