OAI/Analysis/Laughlin/ThreeBody/SpinCovariance.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Laughlin.Spin.swapCompression line 9
2. def OAI.Laughlin.Spin.threeGram line 12
3. theorem OAI.Laughlin.Spin.swapCompression_raising line 15
4. theorem OAI.Laughlin.Spin.threeGram_raising line 31
5. theorem OAI.Laughlin.Spin.swapCompression_entry line 36
6. theorem OAI.Laughlin.Spin.threeGram_entry line 60
7. theorem OAI.Laughlin.Spin.threeGram_physical line 66
8. theorem OAI.Laughlin.Spin.threeGram_weight line 77