`BookProof.NsLagrangianDet.conjP_volPot` (kappa : ℝ) (kv : K → Fin 3 → ℝ) : conjP (volPot kappa kv) = volPot kappa kv

Initializing...

`BookProof.NsLagrangianDet.conjP_volPot` (kappa : ℝ) (kv : K → Fin 3 → ℝ) : conjP (volPot kappa kv) = volPot kappa kv · Prove2Me