`BookProof.ChapterCyclicDecomposition.cfcHom_apply_mem_cyclicSubspace` (xi : H) (g : C(spectrum ℂ T, ℂ)) : cfcHom hT g xi ∈ cyclicSubspace T hT xi

Initializing...

`BookProof.ChapterCyclicDecomposition.cfcHom_apply_mem_cyclicSubspace` (xi : H) (g : C(spectrum ℂ T, ℂ)) : cfcHom hT g xi ∈ cyclicSubspace T hT xi · Prove2Me