`BookProof.ChapterCyclicDecomposition.invariant_iSup_cyclicSubspace` (S : Set H) : Invariant T hT (⨆ x ∈ S, cyclicSubspace T hT x).topologicalClosure

Initializing...

`BookProof.ChapterCyclicDecomposition.invariant_iSup_cyclicSubspace` (S : Set H) : Invariant T hT (⨆ x ∈ S, cyclicSubspace T hT x).topologicalClosure · Prove2Me