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

Initializing...

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