`BookProof.ChapterWeylSL2Unipotent.weyl_complete_reducibility_SL2_unipotent` [FiniteDimensional ℂ V] (h : IsUnipotentExp rho E F N) {W : Submodule ℂ V} (hW : ∀ g : Matrix.SpecialLi

Initializing...

`BookProof.ChapterWeylSL2Unipotent.weyl_complete_reducibility_SL2_unipotent` [FiniteDimensional ℂ V] (h : IsUnipotentExp rho E F N) {W : Submodule ℂ V} (hW : ∀ g : Matrix.SpecialLi · Prove2Me