`BookProof.ChapterGravitySplit.minkForm_self` (x : Fin 4 → ℝ) : minkForm x x = minkSq x

Initializing...

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