OAI/Analysis/LaughlinFock/Sparse0912.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

Sparse0912.

  1. def OAI.LaughlinFock.collectedFourData_9_3_17 line 8
  2. def OAI.LaughlinFock.collectedFourData_9_3_18 line 58
  3. def OAI.LaughlinFock.collectedFourData_9_3_19 line 113
  4. def OAI.LaughlinFock.collectedFourData_9_3_20 line 172
  5. def OAI.LaughlinFock.collectedFourData_9_3_21 line 231
  6. def OAI.LaughlinFock.collectedFourData_9_3_22 line 252
  7. def OAI.LaughlinFock.collectedFourData_9_3_23 line 281
  8. def OAI.LaughlinFock.collectedFourData_9_3_24 line 318
  9. def OAI.LaughlinFock.collectedFourData_9_3_25 line 362
  10. def OAI.LaughlinFock.collectedFourData_9_3_26 line 412
  11. def OAI.LaughlinFock.collectedFourData_9_3_27 line 467
  12. def OAI.LaughlinFock.collectedFourData_9_3_28 line 526
  13. def OAI.LaughlinFock.collectedFourData_9_3_29 line 585