`BookProof.ChapterGravityPolymomentum.polyMom_contract_v_spatial` (hv : minkSq v = -1) (hS : IsSpatial v S) (hTc : IsSpatial v Tc) : (spatialProj v).mulVec ((polyMom e T S Tc u v).

Initializing...

`BookProof.ChapterGravityPolymomentum.polyMom_contract_v_spatial` (hv : minkSq v = -1) (hS : IsSpatial v S) (hTc : IsSpatial v Tc) : (spatialProj v).mulVec ((polyMom e T S Tc u v). · Prove2Me