OAI/Analysis/Laughlin/FiniteFlux/Row073.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Laughlin.Certificate.yRow_7_5_7_4 line 7
2. theorem OAI.Laughlin.Certificate.yRow_7_5_7_5 line 11
3. theorem OAI.Laughlin.Certificate.yRow_7_5_7_6 line 15
4. theorem OAI.Laughlin.Certificate.yRow_7_7_7_0 line 19
5. theorem OAI.Laughlin.Certificate.yRow_7_7_7_1 line 23
6. theorem OAI.Laughlin.Certificate.yRow_7_7_7_2 line 27
7. theorem OAI.Laughlin.Certificate.yRow_7_7_7_3 line 31
8. theorem OAI.Laughlin.Certificate.yRow_7_7_7_4 line 35
9. theorem OAI.Laughlin.Certificate.yRow_7_7_7_5 line 39
10. theorem OAI.Laughlin.Certificate.yRow_7_7_7_6 line 43