`BookProof.ChapterGravityMetric.spatialMetric_symm` (v : Fin 4 → ℝ) : (spatialMetric v)ᵀ = spatialMetric v

Initializing...

`BookProof.ChapterGravityMetric.spatialMetric_symm` (v : Fin 4 → ℝ) : (spatialMetric v)ᵀ = spatialMetric v · Prove2Me