OAI/Analysis/LaughlinFock/Sparse1116.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

Sparse1116.

  1. def OAI.LaughlinFock.collectedFourData_11_5_11 line 8
  2. def OAI.LaughlinFock.collectedFourData_11_5_12 line 36
  3. def OAI.LaughlinFock.collectedFourData_11_5_13 line 72
  4. def OAI.LaughlinFock.collectedFourData_11_5_14 line 116
  5. def OAI.LaughlinFock.collectedFourData_11_5_15 line 167
  6. def OAI.LaughlinFock.collectedFourData_11_5_16 line 182
  7. def OAI.LaughlinFock.collectedFourData_11_5_17 line 203
  8. def OAI.LaughlinFock.collectedFourData_11_5_18 line 231
  9. def OAI.LaughlinFock.collectedFourData_11_5_19 line 267
  10. def OAI.LaughlinFock.collectedFourData_11_5_20 line 311
  11. def OAI.LaughlinFock.collectedFourData_11_5_21 line 362
  12. def OAI.LaughlinFock.collectedFourData_11_5_22 line 419
  13. def OAI.LaughlinFock.collectedFourData_11_5_23 line 434
  14. def OAI.LaughlinFock.collectedFourData_11_5_24 line 455
  15. def OAI.LaughlinFock.collectedFourData_11_5_25 line 483
  16. def OAI.LaughlinFock.collectedFourData_11_5_26 line 519
  17. def OAI.LaughlinFock.collectedFourData_11_5_27 line 563