OAI/Analysis/Laughlin/FourBody/Symmetry.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Laughlin.Certificate.yEntry_swap line 8
2. theorem OAI.Laughlin.Certificate.sum_add line 18
3. theorem OAI.Laughlin.Certificate.sum_swap line 24
4. theorem OAI.Laughlin.Certificate.yRow_swap line 33
5. theorem OAI.Laughlin.Certificate.rows_valid line 46
6. theorem OAI.Laughlin.Certificate.Y_symm line 49
7. theorem OAI.Laughlin.Certificate.Z_symm line 56