OAI/Analysis/LaughlinFock/NullComponents.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Null Components.

  1. theorem OAI.LaughlinFock.gramShift_zero line 11
  2. theorem OAI.LaughlinFock.gramShift_one line 14
  3. theorem OAI.LaughlinFock.gramShift_three line 24
  4. theorem OAI.LaughlinFock.threeWedgeMatrix_null_column line 41
  5. theorem OAI.LaughlinFock.threeWedgeMatrix_null_projection line 55
  6. theorem OAI.LaughlinFock.threeSpinProjection_sum line 74
  7. theorem OAI.LaughlinFock.normal_ordered_square_spectral line 91