`BookProof.ChapterCyclicDecomposition.isClosed_cyclicSubspace` (xi : H) : IsClosed (cyclicSubspace T hT xi : Set H)

Initializing...

`BookProof.ChapterCyclicDecomposition.isClosed_cyclicSubspace` (xi : H) : IsClosed (cyclicSubspace T hT xi : Set H) · Prove2Me