`BookProof.ChapterGravitySplit.spatialPart_add_timePart` (v x : Fin 4 → ℝ) : spatialPart v x + timePart v x = x

Initializing...

`BookProof.ChapterGravitySplit.spatialPart_add_timePart` (v x : Fin 4 → ℝ) : spatialPart v x + timePart v x = x · Prove2Me