`BookProof.ChapterSchurRepresentation.schur_imprimitivity` {G : Type*} [Group G] {X : Type*} (U : G →* (V ≃ₗᵢ[ℂ] V)) (pvm : Set X → (V →L[ℂ] V)) (hpvm : ∀ A : Set X, IsSelfAdjoint

Initializing...

`BookProof.ChapterSchurRepresentation.schur_imprimitivity` {G : Type*} [Group G] {X : Type*} (U : G →* (V ≃ₗᵢ[ℂ] V)) (pvm : Set X → (V →L[ℂ] V)) (hpvm : ∀ A : Set X, IsSelfAdjoint · Prove2Me