OAI/Analysis/LaughlinFock/Sparse1107.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

Sparse1107.

  1. def OAI.LaughlinFock.collectedFourData_11_2_31 line 8
  2. def OAI.LaughlinFock.collectedFourData_11_2_32 line 62
  3. def OAI.LaughlinFock.collectedFourData_11_2_33 line 78
  4. def OAI.LaughlinFock.collectedFourData_11_2_34 line 102
  5. def OAI.LaughlinFock.collectedFourData_11_2_35 line 134
  6. def OAI.LaughlinFock.collectedFourData_11_2_36 line 173
  7. def OAI.LaughlinFock.collectedFourData_11_2_37 line 218
  8. def OAI.LaughlinFock.collectedFourData_11_2_38 line 268
  9. def OAI.LaughlinFock.collectedFourData_11_2_39 line 322
  10. def OAI.LaughlinFock.collectedFourData_11_2_40 line 346
  11. def OAI.LaughlinFock.collectedFourData_11_2_41 line 378
  12. def OAI.LaughlinFock.collectedFourData_11_2_42 line 417
  13. def OAI.LaughlinFock.collectedFourData_11_2_43 line 462
  14. def OAI.LaughlinFock.collectedFourData_11_2_44 line 512
  15. def OAI.LaughlinFock.collectedFourData_11_2_45 line 566
  16. def OAI.LaughlinFock.collectedFourData_11_2_46 line 598