Manuscript Oai119-A@1 · Oai119-A.tex · section · fdff7292
Gate 3: dimension induction and classical semigroup
Stage 1: the five proof interfaces › Gate 3: dimension induction and classical semigroup · lines 571–582
For a field , define the number operator
where flips coordinate . For interior , put
Displayed formulas in this passage
unlabeled · line 574
unlabeled · line 579