OAI/Analysis/LaughlinFock/Sparse0809.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Sparse0809.

  1. def OAI.LaughlinFock.collectedFourData_8_2_20 line 8
  2. def OAI.LaughlinFock.collectedFourData_8_2_21 line 62
  3. def OAI.LaughlinFock.collectedFourData_8_2_22 line 119
  4. def OAI.LaughlinFock.collectedFourData_8_2_23 line 176
  5. def OAI.LaughlinFock.collectedFourData_8_2_24 line 233
  6. def OAI.LaughlinFock.collectedFourData_8_2_25 line 265
  7. def OAI.LaughlinFock.collectedFourData_8_2_26 line 304
  8. def OAI.LaughlinFock.collectedFourData_8_2_27 line 349
  9. def OAI.LaughlinFock.collectedFourData_8_2_28 line 399
  10. def OAI.LaughlinFock.collectedFourData_8_2_29 line 453
  11. def OAI.LaughlinFock.collectedFourData_8_2_30 line 510
  12. def OAI.LaughlinFock.collectedFourData_8_2_31 line 567