`BookProof.ChapterSchurFiniteDimensional.isSchurFull_of_irreducible_finiteDimensional` [FiniteDimensional ℂ V] [Nontrivial V] (M : System ℂ V) (hirr : M.IsIrreducible) : IsSchurFul

Initializing...

`BookProof.ChapterSchurFiniteDimensional.isSchurFull_of_irreducible_finiteDimensional` [FiniteDimensional ℂ V] [Nontrivial V] (M : System ℂ V) (hirr : M.IsIrreducible) : IsSchurFul · Prove2Me