OAI/Analysis/LaughlinFock/CertificateRows.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Certificate Rows.

  1. def OAI.LaughlinFock.certificateEllData line 14
  2. def OAI.LaughlinFock.certificateAlphaData line 16
  3. def OAI.LaughlinFock.certificateEll line 83
  4. def OAI.LaughlinFock.certificateAlpha line 85
  5. def OAI.LaughlinFock.certificateRows line 88
  6. theorem OAI.LaughlinFock.certificateEta line 91