OAI/Analysis/LaughlinFock/Sparse0824.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Sparse0824.

  1. def OAI.LaughlinFock.collectedFourData_8_5_31 line 8
  2. def OAI.LaughlinFock.collectedFourData_8_5_32 line 52
  3. def OAI.LaughlinFock.collectedFourData_8_5_33 line 103
  4. def OAI.LaughlinFock.collectedFourData_8_5_34 line 160
  5. def OAI.LaughlinFock.collectedFourData_8_5_35 line 217
  6. def OAI.LaughlinFock.collectedFourData_8_5_36 line 274
  7. def OAI.LaughlinFock.collectedFourData_8_5_37 line 331
  8. def OAI.LaughlinFock.collectedFourData_8_5_38 line 388
  9. def OAI.LaughlinFock.collectedFourData_8_5_39 line 445
  10. def OAI.LaughlinFock.collectedFourData_8_5_40 line 489
  11. def OAI.LaughlinFock.collectedFourData_8_5_41 line 540
  12. def OAI.LaughlinFock.collectedFourData_8_5_42 line 597