`BookProof.ChapterA.cembed_injective` [Nontrivial V] : Function.Injective (cembed : ℂ → (V →L[ℝ] V))

Initializing...

`BookProof.ChapterA.cembed_injective` [Nontrivial V] : Function.Injective (cembed : ℂ → (V →L[ℝ] V)) · Prove2Me