`BookProof.ChapterGravityPolymomentum.proj_add` (v : Fin 4 → ℝ) (M N : Matrix (Fin 4) (Fin 4) ℝ) : proj v (M + N) = proj v M + proj v N

Initializing...

`BookProof.ChapterGravityPolymomentum.proj_add` (v : Fin 4 → ℝ) (M N : Matrix (Fin 4) (Fin 4) ℝ) : proj v (M + N) = proj v M + proj v N · Prove2Me