OAI/Analysis/LaughlinFock/FastCoupling.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Fast Coupling.

  1. def OAI.LaughlinFock.fastIntegerCoupling line 11
  2. theorem OAI.LaughlinFock.integerCoupling_fast line 15
  3. def OAI.LaughlinFock.fastIntegerCopyPolynomial line 19
  4. theorem OAI.LaughlinFock.integerCopyPolynomial_fast line 24