`BookProof.ChapterSchurIrreducible.rangeClosure_le_ker` {F G : V →L[ℂ] V} (h : G * F = 0) : rangeClosure F ≤ LinearMap.ker (G : V →ₗ[ℂ] V)

Initializing...

`BookProof.ChapterSchurIrreducible.rangeClosure_le_ker` {F G : V →L[ℂ] V} (h : G * F = 0) : rangeClosure F ≤ LinearMap.ker (G : V →ₗ[ℂ] V) · Prove2Me