`BookProof.ChapterGravityPolymomentum.spatialMetric_transpose` (v : Fin 4 → ℝ) : (metric + vecMulVec v v)ᵀ = metric + vecMulVec v v

Initializing...

`BookProof.ChapterGravityPolymomentum.spatialMetric_transpose` (v : Fin 4 → ℝ) : (metric + vecMulVec v v)ᵀ = metric + vecMulVec v v · Prove2Me