OAI/Analysis/LaughlinFock/Sparse0829.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Sparse0829.

  1. def OAI.LaughlinFock.collectedFourData_8_6_38 line 8
  2. def OAI.LaughlinFock.collectedFourData_8_6_39 line 61
  3. def OAI.LaughlinFock.collectedFourData_8_6_40 line 114
  4. def OAI.LaughlinFock.collectedFourData_8_6_41 line 167
  5. def OAI.LaughlinFock.collectedFourData_8_6_42 line 220
  6. def OAI.LaughlinFock.collectedFourData_8_6_43 line 266
  7. def OAI.LaughlinFock.collectedFourData_8_6_44 line 319
  8. def OAI.LaughlinFock.collectedFourData_8_6_45 line 372
  9. def OAI.LaughlinFock.collectedFourData_8_6_46 line 425
  10. def OAI.LaughlinFock.collectedFourData_8_6_47 line 478
  11. def OAI.LaughlinFock.collectedFourData_8_6_48 line 531
  12. def OAI.LaughlinFock.collectedFourData_8_6_49 line 584