OAI/Analysis/LaughlinFock/Sparse1106.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

Sparse1106.

  1. def OAI.LaughlinFock.collectedFourData_11_2_12 line 8
  2. def OAI.LaughlinFock.collectedFourData_11_2_13 line 47
  3. def OAI.LaughlinFock.collectedFourData_11_2_14 line 92
  4. def OAI.LaughlinFock.collectedFourData_11_2_15 line 142
  5. def OAI.LaughlinFock.collectedFourData_11_2_16 line 146
  6. def OAI.LaughlinFock.collectedFourData_11_2_17 line 155
  7. def OAI.LaughlinFock.collectedFourData_11_2_18 line 171
  8. def OAI.LaughlinFock.collectedFourData_11_2_19 line 195
  9. def OAI.LaughlinFock.collectedFourData_11_2_20 line 227
  10. def OAI.LaughlinFock.collectedFourData_11_2_21 line 266
  11. def OAI.LaughlinFock.collectedFourData_11_2_22 line 311
  12. def OAI.LaughlinFock.collectedFourData_11_2_23 line 361
  13. def OAI.LaughlinFock.collectedFourData_11_2_24 line 415
  14. def OAI.LaughlinFock.collectedFourData_11_2_25 line 424
  15. def OAI.LaughlinFock.collectedFourData_11_2_26 line 440
  16. def OAI.LaughlinFock.collectedFourData_11_2_27 line 464
  17. def OAI.LaughlinFock.collectedFourData_11_2_28 line 496
  18. def OAI.LaughlinFock.collectedFourData_11_2_29 line 535
  19. def OAI.LaughlinFock.collectedFourData_11_2_30 line 580