OAI/Analysis/LaughlinFock/Sparse1802.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Sparse1802.

  1. def OAI.LaughlinFock.collectedFourData_18_23 line 8
  2. def OAI.LaughlinFock.collectedFourData_18_24 line 35
  3. def OAI.LaughlinFock.collectedFourData_18_25 line 62
  4. def OAI.LaughlinFock.collectedFourData_18_26 line 89
  5. def OAI.LaughlinFock.collectedFourData_18_27 line 116
  6. def OAI.LaughlinFock.collectedFourData_18_28 line 143
  7. def OAI.LaughlinFock.collectedFourData_18 line 160
  8. theorem OAI.LaughlinFock.collectedFourChecked_18 line 162