`BookProof.ChapterSchurIrreducible.rangeClosure_invariant` {F m : V →L[ℂ] V} (hc : Commute F m) {w : V} (hw : w ∈ rangeClosure F) : m w ∈ rangeClosure F

Initializing...

`BookProof.ChapterSchurIrreducible.rangeClosure_invariant` {F m : V →L[ℂ] V} (hc : Commute F m) {w : V} (hw : w ∈ rangeClosure F) : m w ∈ rangeClosure F · Prove2Me