OAI/Analysis/LaughlinFock/Sparse0904.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

Sparse0904.

  1. def OAI.LaughlinFock.collectedFourData_9_1_8 line 8
  2. def OAI.LaughlinFock.collectedFourData_9_1_9 line 18
  3. def OAI.LaughlinFock.collectedFourData_9_1_10 line 36
  4. def OAI.LaughlinFock.collectedFourData_9_1_11 line 62
  5. def OAI.LaughlinFock.collectedFourData_9_1_12 line 95
  6. def OAI.LaughlinFock.collectedFourData_9_1_13 line 134
  7. def OAI.LaughlinFock.collectedFourData_9_1_14 line 178
  8. def OAI.LaughlinFock.collectedFourData_9_1_15 line 226
  9. def OAI.LaughlinFock.collectedFourData_9_1_16 line 277
  10. def OAI.LaughlinFock.collectedFourData_9_1_17 line 330
  11. def OAI.LaughlinFock.collectedFourData_9_1_18 line 348
  12. def OAI.LaughlinFock.collectedFourData_9_1_19 line 374
  13. def OAI.LaughlinFock.collectedFourData_9_1_20 line 407
  14. def OAI.LaughlinFock.collectedFourData_9_1_21 line 446
  15. def OAI.LaughlinFock.collectedFourData_9_1_22 line 490
  16. def OAI.LaughlinFock.collectedFourData_9_1_23 line 538
  17. def OAI.LaughlinFock.collectedFourData_9_1_24 line 589