OAI/Analysis/LaughlinFock/CopyAverage.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Copy Average.

  1. theorem OAI.LaughlinFock.sectorAverage_of_complete_copies line 15
  2. theorem OAI.LaughlinFock.full_column_gram_cast line 50
  3. theorem OAI.LaughlinFock.fourSpinColumns_complete line 58
  4. theorem OAI.LaughlinFock.fourCopyColumns_complete line 78
  5. theorem OAI.LaughlinFock.fourSpinDegree_injective line 99
  6. theorem OAI.LaughlinFock.sectorAverage_four_kernel line 110