OAI/Analysis/Quantum/PPTSquare/Mod139Powers05.lean

GitHub source file

30 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.ModularPencil.P139.h6366360997819387617458334741910762527 line 12
2. lemma OAI.ModularPencil.P139.h6366360997819387617458334741910762528 line 16
3. lemma OAI.ModularPencil.P139.h12732721995638775234916669483821525055 line 20
4. lemma OAI.ModularPencil.P139.h25465443991277550469833338967643050110 line 24
5. lemma OAI.ModularPencil.P139.h12732721995638775234916669483821525056 line 28
6. lemma OAI.ModularPencil.P139.h25465443991277550469833338967643050111 line 32
7. lemma OAI.ModularPencil.P139.h50930887982555100939666677935286100221 line 36
8. lemma OAI.ModularPencil.P139.h50930887982555100939666677935286100222 line 40
9. lemma OAI.ModularPencil.P139.h101861775965110201879333355870572200443 line 44
10. lemma OAI.ModularPencil.P139.h203723551930220403758666711741144400886 line 48
11. lemma OAI.ModularPencil.P139.h101861775965110201879333355870572200444 line 52
12. lemma OAI.ModularPencil.P139.h203723551930220403758666711741144400887 line 56
13. lemma OAI.ModularPencil.P139.h407447103860440807517333423482288801773 line 60
14. lemma OAI.ModularPencil.P139.h407447103860440807517333423482288801774 line 64
15. lemma OAI.ModularPencil.P139.h814894207720881615034666846964577603547 line 68
16. lemma OAI.ModularPencil.P139.h814894207720881615034666846964577603548 line 72
17. lemma OAI.ModularPencil.P139.h1629788415441763230069333693929155207095 line 76
18. lemma OAI.ModularPencil.P139.h1629788415441763230069333693929155207096 line 80
19. lemma OAI.ModularPencil.P139.h3259576830883526460138667387858310414191 line 84
20. lemma OAI.ModularPencil.P139.h6519153661767052920277334775716620828382 line 88
21. lemma OAI.ModularPencil.P139.h13038307323534105840554669551433241656764 line 92
22. lemma OAI.ModularPencil.P139.h3259576830883526460138667387858310414192 line 96
23. lemma OAI.ModularPencil.P139.h6519153661767052920277334775716620828383 line 100
24. lemma OAI.ModularPencil.P139.h13038307323534105840554669551433241656765 line 104
25. lemma OAI.ModularPencil.P139.h26076614647068211681109339102866483313529 line 108
26. lemma OAI.ModularPencil.P139.h26076614647068211681109339102866483313530 line 112
27. lemma OAI.ModularPencil.P139.h52153229294136423362218678205732966627059 line 116
28. lemma OAI.ModularPencil.P139.gcd_degree19 line 120
29. lemma OAI.ModularPencil.P139.derivative_f line 136
30. lemma OAI.ModularPencil.P139.separable line 144