`BookProof.ChapterSchurFiniteDim.isSchurUnitary_of_irreducible` [FiniteDimensional ℂ V] [Nontrivial V] (M : System ℂ V) (hirr : IsIrreducibleSystem M) : IsSchurUnitary M

Initializing...

`BookProof.ChapterSchurFiniteDim.isSchurUnitary_of_irreducible` [FiniteDimensional ℂ V] [Nontrivial V] (M : System ℂ V) (hirr : IsIrreducibleSystem M) : IsSchurUnitary M · Prove2Me