`BookProof.ChapterGravityPolymomentum.calA_eq` (hv : minkSq v = -1) (hS : IsSpatial v S) (hTc : IsSpatial v Tc) (hSsymm : Sᵀ = S) (hTcanti : Tcᵀ = -Tc) : calA v (polyMom e T S Tc u

Initializing...

`BookProof.ChapterGravityPolymomentum.calA_eq` (hv : minkSq v = -1) (hS : IsSpatial v S) (hTc : IsSpatial v Tc) (hSsymm : Sᵀ = S) (hTcanti : Tcᵀ = -Tc) : calA v (polyMom e T S Tc u · Prove2Me