`BookProof.ChapterA.realCommutes_algebraMap` (M : System ℂ V) (r : ℝ) : RealCommutes M (algebraMap ℝ (V →L[ℝ] V) r)

Initializing...

`BookProof.ChapterA.realCommutes_algebraMap` (M : System ℂ V) (r : ℝ) : RealCommutes M (algebraMap ℝ (V →L[ℝ] V) r) · Prove2Me