`BookProof.ChapterA.cembed_apply` (c : ℂ) (x : V) : (cembed c : V →L[ℝ] V) x = c • x

Initializing...

`BookProof.ChapterA.cembed_apply` (c : ℂ) (x : V) : (cembed c : V →L[ℝ] V) x = c • x · Prove2Me