`BookProof.NsLagrangianDet.phase_zero` (a : Fin 3 → ℝ) : phase 0 a = 1 · Prove2Me

P

Initializing...

`BookProof.NsLagrangianDet.phase_zero` (a : Fin 3 → ℝ) : phase 0 a = 1 · Prove2Me