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

Back to manuscript

For a field , define the number operator

where flips coordinate . For interior , put

Displayed formulas in this passage

  • unlabeled · line 574

  • unlabeled · line 579

Nearby in this section