`BookProof.ChapterSchurIrreducible.isClosed_rangeClosure` (F : V →L[ℂ] V) : IsClosed ((rangeClosure F : Submodule ℂ V) : Set V)

Initializing...

`BookProof.ChapterSchurIrreducible.isClosed_rangeClosure` (F : V →L[ℂ] V) : IsClosed ((rangeClosure F : Submodule ℂ V) : Set V) · Prove2Me