`BookProof.ChapterCyclicDecomposition.invariant_cyclicSubspace` (xi : H) : Invariant T hT (cyclicSubspace T hT xi)

Initializing...

`BookProof.ChapterCyclicDecomposition.invariant_cyclicSubspace` (xi : H) : Invariant T hT (cyclicSubspace T hT xi) · Prove2Me