OAI/Analysis/LaughlinFock/Sparse0814.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Sparse0814.

  1. def OAI.LaughlinFock.collectedFourData_8_3_26 line 8
  2. def OAI.LaughlinFock.collectedFourData_8_3_27 line 67
  3. def OAI.LaughlinFock.collectedFourData_8_3_28 line 126
  4. def OAI.LaughlinFock.collectedFourData_8_3_29 line 185
  5. def OAI.LaughlinFock.collectedFourData_8_3_30 line 244
  6. def OAI.LaughlinFock.collectedFourData_8_3_31 line 281
  7. def OAI.LaughlinFock.collectedFourData_8_3_32 line 325
  8. def OAI.LaughlinFock.collectedFourData_8_3_33 line 375
  9. def OAI.LaughlinFock.collectedFourData_8_3_34 line 430
  10. def OAI.LaughlinFock.collectedFourData_8_3_35 line 489
  11. def OAI.LaughlinFock.collectedFourData_8_3_36 line 548
  12. def OAI.LaughlinFock.collectedFourData_8_3_37 line 607