OAI/Analysis/LaughlinFock/Sparse0922.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Sparse0922.

  1. def OAI.LaughlinFock.collectedFourData_9_5_32 line 8
  2. def OAI.LaughlinFock.collectedFourData_9_5_33 line 52
  3. def OAI.LaughlinFock.collectedFourData_9_5_34 line 103
  4. def OAI.LaughlinFock.collectedFourData_9_5_35 line 160
  5. def OAI.LaughlinFock.collectedFourData_9_5_36 line 217
  6. def OAI.LaughlinFock.collectedFourData_9_5_37 line 274
  7. def OAI.LaughlinFock.collectedFourData_9_5_38 line 331
  8. def OAI.LaughlinFock.collectedFourData_9_5_39 line 388
  9. def OAI.LaughlinFock.collectedFourData_9_5_40 line 424
  10. def OAI.LaughlinFock.collectedFourData_9_5_41 line 468
  11. def OAI.LaughlinFock.collectedFourData_9_5_42 line 519
  12. def OAI.LaughlinFock.collectedFourData_9_5_43 line 576