`BookProof.ChapterGravityInvMetric.invSpatialMetric_symm` (v : Fin 4 → ℝ) : (invSpatialMetric v)ᵀ = invSpatialMetric v

Initializing...

`BookProof.ChapterGravityInvMetric.invSpatialMetric_symm` (v : Fin 4 → ℝ) : (invSpatialMetric v)ᵀ = invSpatialMetric v · Prove2Me