`BookProof.ChapterGravitySplit.minkForm_comm` (x y : Fin 4 → ℝ) : minkForm x y = minkForm y x

Initializing...

`BookProof.ChapterGravitySplit.minkForm_comm` (x y : Fin 4 → ℝ) : minkForm x y = minkForm y x · Prove2Me