`BookProof.ChapterUnitaryCompleteReducibility.orthogonal_isInvariant` {ρ : G →* (V ≃ₗᵢ[ℂ] V)} {W : Submodule ℂ V} (hW : IsInvariant ρ W) : IsInvariant ρ Wᗮ

Initializing...

`BookProof.ChapterUnitaryCompleteReducibility.orthogonal_isInvariant` {ρ : G →* (V ≃ₗᵢ[ℂ] V)} {W : Submodule ℂ V} (hW : IsInvariant ρ W) : IsInvariant ρ Wᗮ · Prove2Me