`BookProof.ChapterCyclicDecomposition.self_mem_cyclicSubspace` (xi : H) : xi ∈ cyclicSubspace T hT xi

Initializing...

`BookProof.ChapterCyclicDecomposition.self_mem_cyclicSubspace` (xi : H) : xi ∈ cyclicSubspace T hT xi · Prove2Me