OAI/Analysis/Quantum/PPTSquare/Mod131Powers03.lean

GitHub source file

64 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ModularPencil.P131.h6837577680333620985 line 12
  2. lemma OAI.ModularPencil.P131.h13675155360667241969 line 16
  3. lemma OAI.ModularPencil.P131.h27350310721334483938 line 20
  4. lemma OAI.ModularPencil.P131.h13675155360667241970 line 24
  5. lemma OAI.ModularPencil.P131.h27350310721334483939 line 28
  6. lemma OAI.ModularPencil.P131.h54700621442668967877 line 32
  7. lemma OAI.ModularPencil.P131.h54700621442668967878 line 36
  8. lemma OAI.ModularPencil.P131.h109401242885337935755 line 40
  9. lemma OAI.ModularPencil.P131.h109401242885337935756 line 44
  10. lemma OAI.ModularPencil.P131.h218802485770675871511 line 48
  11. lemma OAI.ModularPencil.P131.h218802485770675871512 line 52
  12. lemma OAI.ModularPencil.P131.h437604971541351743023 line 56
  13. lemma OAI.ModularPencil.P131.h437604971541351743024 line 60
  14. lemma OAI.ModularPencil.P131.h875209943082703486047 line 64
  15. lemma OAI.ModularPencil.P131.h875209943082703486048 line 68
  16. lemma OAI.ModularPencil.P131.h1750419886165406972095 line 72
  17. lemma OAI.ModularPencil.P131.h1750419886165406972096 line 76
  18. lemma OAI.ModularPencil.P131.h3500839772330813944191 line 80
  19. lemma OAI.ModularPencil.P131.h7001679544661627888382 line 84
  20. lemma OAI.ModularPencil.P131.h3500839772330813944192 line 88
  21. lemma OAI.ModularPencil.P131.h7001679544661627888383 line 92
  22. lemma OAI.ModularPencil.P131.h14003359089323255776765 line 96
  23. lemma OAI.ModularPencil.P131.h28006718178646511553530 line 100
  24. lemma OAI.ModularPencil.P131.h14003359089323255776766 line 104
  25. lemma OAI.ModularPencil.P131.h28006718178646511553531 line 108
  26. lemma OAI.ModularPencil.P131.h56013436357293023107061 line 112
  27. lemma OAI.ModularPencil.P131.h56013436357293023107062 line 116
  28. lemma OAI.ModularPencil.P131.h112026872714586046214123 line 120
  29. lemma OAI.ModularPencil.P131.h224053745429172092428246 line 124
  30. lemma OAI.ModularPencil.P131.h448107490858344184856492 line 128
  31. lemma OAI.ModularPencil.P131.h896214981716688369712984 line 132
  32. lemma OAI.ModularPencil.P131.h112026872714586046214124 line 136
  33. lemma OAI.ModularPencil.P131.h224053745429172092428247 line 140
  34. lemma OAI.ModularPencil.P131.h448107490858344184856493 line 144
  35. lemma OAI.ModularPencil.P131.h896214981716688369712985 line 148
  36. lemma OAI.ModularPencil.P131.h1792429963433376739425969 line 152
  37. lemma OAI.ModularPencil.P131.h1792429963433376739425970 line 156
  38. lemma OAI.ModularPencil.P131.h3584859926866753478851939 line 160
  39. lemma OAI.ModularPencil.P131.h3584859926866753478851940 line 164
  40. lemma OAI.ModularPencil.P131.h7169719853733506957703879 line 168
  41. lemma OAI.ModularPencil.P131.h14339439707467013915407758 line 172
  42. lemma OAI.ModularPencil.P131.h28678879414934027830815516 line 176
  43. lemma OAI.ModularPencil.P131.h57357758829868055661631032 line 180
  44. lemma OAI.ModularPencil.P131.h7169719853733506957703880 line 184
  45. lemma OAI.ModularPencil.P131.h14339439707467013915407759 line 188
  46. lemma OAI.ModularPencil.P131.h28678879414934027830815517 line 192
  47. lemma OAI.ModularPencil.P131.h57357758829868055661631033 line 196
  48. lemma OAI.ModularPencil.P131.h114715517659736111323262065 line 200
  49. lemma OAI.ModularPencil.P131.h114715517659736111323262066 line 204
  50. lemma OAI.ModularPencil.P131.h229431035319472222646524131 line 208
  51. lemma OAI.ModularPencil.P131.h458862070638944445293048262 line 212
  52. lemma OAI.ModularPencil.P131.h229431035319472222646524132 line 216
  53. lemma OAI.ModularPencil.P131.h458862070638944445293048263 line 220
  54. lemma OAI.ModularPencil.P131.h917724141277888890586096525 line 224
  55. lemma OAI.ModularPencil.P131.h917724141277888890586096526 line 228
  56. lemma OAI.ModularPencil.P131.h1835448282555777781172193051 line 232
  57. lemma OAI.ModularPencil.P131.h1835448282555777781172193052 line 236
  58. lemma OAI.ModularPencil.P131.h3670896565111555562344386103 line 240
  59. lemma OAI.ModularPencil.P131.h7341793130223111124688772206 line 244
  60. lemma OAI.ModularPencil.P131.h3670896565111555562344386104 line 248
  61. lemma OAI.ModularPencil.P131.h7341793130223111124688772207 line 252
  62. lemma OAI.ModularPencil.P131.h14683586260446222249377544413 line 256
  63. lemma OAI.ModularPencil.P131.h14683586260446222249377544414 line 260
  64. lemma OAI.ModularPencil.P131.h29367172520892444498755088827 line 264