`BookProof.ChapterSchurIrreducible.mem_rangeClosure` (F : V →L[ℂ] V) (x : V) : F x ∈ rangeClosure F

Initializing...

`BookProof.ChapterSchurIrreducible.mem_rangeClosure` (F : V →L[ℂ] V) (x : V) : F x ∈ rangeClosure F · Prove2Me