OAI/Analysis/LaughlinFock/Sparse1317.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Sparse1317.

  1. def OAI.LaughlinFock.collectedFourData_13_7 line 9
  2. theorem OAI.LaughlinFock.collectedFourChecked_13_7 line 56
  3. def OAI.LaughlinFock.collectedFourData_13 line 59
  4. theorem OAI.LaughlinFock.collectedFourChecked_13 line 62