OAI/Analysis/LaughlinFock/Sparse1605.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Sparse1605.

  1. def OAI.LaughlinFock.collectedFourData_16_92 line 11
  2. def OAI.LaughlinFock.collectedFourData_16_93 line 38
  3. def OAI.LaughlinFock.collectedFourData_16_94 line 65
  4. def OAI.LaughlinFock.collectedFourData_16_95 line 92
  5. def OAI.LaughlinFock.collectedFourData_16_96 line 119
  6. def OAI.LaughlinFock.collectedFourData_16_97 line 146
  7. def OAI.LaughlinFock.collectedFourData_16_98 line 173
  8. def OAI.LaughlinFock.collectedFourData_16_99 line 200
  9. def OAI.LaughlinFock.collectedFourData_16_100 line 227
  10. def OAI.LaughlinFock.collectedFourData_16_101 line 254
  11. def OAI.LaughlinFock.collectedFourData_16 line 263
  12. theorem OAI.LaughlinFock.collectedFourChecked_16 line 265