`BookProof.ChapterGravityPolymomentum.proj_smul` (v : Fin 4 → ℝ) (c : ℝ) (M : Matrix (Fin 4) (Fin 4) ℝ) : proj v (c • M) = c • proj v M

Initializing...

`BookProof.ChapterGravityPolymomentum.proj_smul` (v : Fin 4 → ℝ) (c : ℝ) (M : Matrix (Fin 4) (Fin 4) ℝ) : proj v (c • M) = c • proj v M · Prove2Me