`BookProof.ChapterGravityPolymomentum.proj_transpose` (v : Fin 4 → ℝ) (M : Matrix (Fin 4) (Fin 4) ℝ) : proj v (Mᵀ) = (proj v M)ᵀ

Initializing...

`BookProof.ChapterGravityPolymomentum.proj_transpose` (v : Fin 4 → ℝ) (M : Matrix (Fin 4) (Fin 4) ℝ) : proj v (Mᵀ) = (proj v M)ᵀ · Prove2Me