`BookProof.ChapterGravityPolymomentum.metric_transpose` : (metric : Matrix (Fin 4) (Fin 4) ℝ)ᵀ = metric

Initializing...

`BookProof.ChapterGravityPolymomentum.metric_transpose` : (metric : Matrix (Fin 4) (Fin 4) ℝ)ᵀ = metric · Prove2Me