`BookProof.ChapterUnitaryCompleteReducibility.isInvariant_top` (ρ : G →* (V ≃ₗᵢ[ℂ] V)) : IsInvariant ρ (⊤ : Submodule ℂ V)

Initializing...

`BookProof.ChapterUnitaryCompleteReducibility.isInvariant_top` (ρ : G →* (V ≃ₗᵢ[ℂ] V)) : IsInvariant ρ (⊤ : Submodule ℂ V) · Prove2Me