`BookProof.ChapterCyclicDecomposition.invariant_orthogonal` {M : Submodule ℂ H} (hM : Invariant T hT M) : Invariant T hT Mᗮ

Initializing...

`BookProof.ChapterCyclicDecomposition.invariant_orthogonal` {M : Submodule ℂ H} (hM : Invariant T hT M) : Invariant T hT Mᗮ · Prove2Me