OAI/Analysis/LaughlinFock/Sparse0833.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Sparse0833.

  1. def OAI.LaughlinFock.collectedFourData_8_7_41 line 11
  2. def OAI.LaughlinFock.collectedFourData_8_7_42 line 58
  3. def OAI.LaughlinFock.collectedFourData_8_7_43 line 105
  4. def OAI.LaughlinFock.collectedFourData_8_7 line 152
  5. theorem OAI.LaughlinFock.collectedFourChecked_8_7 line 199
  6. def OAI.LaughlinFock.collectedFourData_8 line 202
  7. theorem OAI.LaughlinFock.collectedFourChecked_8 line 205