OAI/Analysis/LaughlinFock/Sparse0822.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Sparse0822.

  1. def OAI.LaughlinFock.collectedFourData_8_5_7 line 8
  2. def OAI.LaughlinFock.collectedFourData_8_5_8 line 65
  3. def OAI.LaughlinFock.collectedFourData_8_5_9 line 122
  4. def OAI.LaughlinFock.collectedFourData_8_5_10 line 158
  5. def OAI.LaughlinFock.collectedFourData_8_5_11 line 202
  6. def OAI.LaughlinFock.collectedFourData_8_5_12 line 253
  7. def OAI.LaughlinFock.collectedFourData_8_5_13 line 310
  8. def OAI.LaughlinFock.collectedFourData_8_5_14 line 367
  9. def OAI.LaughlinFock.collectedFourData_8_5_15 line 424
  10. def OAI.LaughlinFock.collectedFourData_8_5_16 line 460
  11. def OAI.LaughlinFock.collectedFourData_8_5_17 line 504
  12. def OAI.LaughlinFock.collectedFourData_8_5_18 line 555