`BookProof.ChapterGravityPolymomentum.vecMulVec_self_transpose` (v : Fin 4 → ℝ) : (vecMulVec v v)ᵀ = vecMulVec v v

Initializing...

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