`BookProof.ChapterSchurFiniteDim.schur_scalar_of_irreducible` [FiniteDimensional ℂ V] [Nontrivial V] (M : System ℂ V) (hirr : IsIrreducibleSystem M) (f : V →ₗ[ℂ] V) (hf : ∀ m ∈ M.o

Initializing...

`BookProof.ChapterSchurFiniteDim.schur_scalar_of_irreducible` [FiniteDimensional ℂ V] [Nontrivial V] (M : System ℂ V) (hirr : IsIrreducibleSystem M) (f : V →ₗ[ℂ] V) (hf : ∀ m ∈ M.o · Prove2Me