`BookProof.ChapterH5.generator_bounded_of_rankOneProjector` (u : E) (hu : ‖u‖ = 1) (D : E →L[ℂ] E) : ‖rankOneProj u + D‖ ≤ 1 + ‖D‖

Initializing...

`BookProof.ChapterH5.generator_bounded_of_rankOneProjector` (u : E) (hu : ‖u‖ = 1) (D : E →L[ℂ] E) : ‖rankOneProj u + D‖ ≤ 1 + ‖D‖ · Prove2Me