OAI/Analysis/Quantum/PPTSquare/Mod139Powers03.lean

GitHub source file

64 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.ModularPencil.P139.h172560560616569096 line 12
  2. lemma OAI.ModularPencil.P139.h345121121233138191 line 16
  3. lemma OAI.ModularPencil.P139.h690242242466276381 line 20
  4. lemma OAI.ModularPencil.P139.h1380484484932552762 line 24
  5. lemma OAI.ModularPencil.P139.h2760968969865105524 line 28
  6. lemma OAI.ModularPencil.P139.h690242242466276382 line 32
  7. lemma OAI.ModularPencil.P139.h1380484484932552763 line 36
  8. lemma OAI.ModularPencil.P139.h2760968969865105525 line 40
  9. lemma OAI.ModularPencil.P139.h5521937939730211049 line 44
  10. lemma OAI.ModularPencil.P139.h11043875879460422098 line 48
  11. lemma OAI.ModularPencil.P139.h22087751758920844196 line 52
  12. lemma OAI.ModularPencil.P139.h5521937939730211050 line 56
  13. lemma OAI.ModularPencil.P139.h11043875879460422099 line 60
  14. lemma OAI.ModularPencil.P139.h22087751758920844197 line 64
  15. lemma OAI.ModularPencil.P139.h44175503517841688393 line 68
  16. lemma OAI.ModularPencil.P139.h44175503517841688394 line 72
  17. lemma OAI.ModularPencil.P139.h88351007035683376787 line 76
  18. lemma OAI.ModularPencil.P139.h176702014071366753574 line 80
  19. lemma OAI.ModularPencil.P139.h353404028142733507148 line 84
  20. lemma OAI.ModularPencil.P139.h706808056285467014296 line 88
  21. lemma OAI.ModularPencil.P139.h88351007035683376788 line 92
  22. lemma OAI.ModularPencil.P139.h176702014071366753575 line 96
  23. lemma OAI.ModularPencil.P139.h353404028142733507149 line 100
  24. lemma OAI.ModularPencil.P139.h706808056285467014297 line 104
  25. lemma OAI.ModularPencil.P139.h1413616112570934028593 line 108
  26. lemma OAI.ModularPencil.P139.h2827232225141868057186 line 112
  27. lemma OAI.ModularPencil.P139.h1413616112570934028594 line 116
  28. lemma OAI.ModularPencil.P139.h2827232225141868057187 line 120
  29. lemma OAI.ModularPencil.P139.h5654464450283736114373 line 124
  30. lemma OAI.ModularPencil.P139.h5654464450283736114374 line 128
  31. lemma OAI.ModularPencil.P139.h11308928900567472228747 line 132
  32. lemma OAI.ModularPencil.P139.h11308928900567472228748 line 136
  33. lemma OAI.ModularPencil.P139.h22617857801134944457495 line 140
  34. lemma OAI.ModularPencil.P139.h22617857801134944457496 line 144
  35. lemma OAI.ModularPencil.P139.h45235715602269888914991 line 148
  36. lemma OAI.ModularPencil.P139.h45235715602269888914992 line 152
  37. lemma OAI.ModularPencil.P139.h90471431204539777829983 line 156
  38. lemma OAI.ModularPencil.P139.h180942862409079555659966 line 160
  39. lemma OAI.ModularPencil.P139.h90471431204539777829984 line 164
  40. lemma OAI.ModularPencil.P139.h180942862409079555659967 line 168
  41. lemma OAI.ModularPencil.P139.h361885724818159111319933 line 172
  42. lemma OAI.ModularPencil.P139.h361885724818159111319934 line 176
  43. lemma OAI.ModularPencil.P139.h723771449636318222639867 line 180
  44. lemma OAI.ModularPencil.P139.h1447542899272636445279734 line 184
  45. lemma OAI.ModularPencil.P139.h723771449636318222639868 line 188
  46. lemma OAI.ModularPencil.P139.h1447542899272636445279735 line 192
  47. lemma OAI.ModularPencil.P139.h2895085798545272890559469 line 196
  48. lemma OAI.ModularPencil.P139.h2895085798545272890559470 line 200
  49. lemma OAI.ModularPencil.P139.h5790171597090545781118939 line 204
  50. lemma OAI.ModularPencil.P139.h5790171597090545781118940 line 208
  51. lemma OAI.ModularPencil.P139.h11580343194181091562237879 line 212
  52. lemma OAI.ModularPencil.P139.h23160686388362183124475758 line 216
  53. lemma OAI.ModularPencil.P139.h11580343194181091562237880 line 220
  54. lemma OAI.ModularPencil.P139.h23160686388362183124475759 line 224
  55. lemma OAI.ModularPencil.P139.h46321372776724366248951517 line 228
  56. lemma OAI.ModularPencil.P139.h92642745553448732497903034 line 232
  57. lemma OAI.ModularPencil.P139.h185285491106897464995806068 line 236
  58. lemma OAI.ModularPencil.P139.h46321372776724366248951518 line 240
  59. lemma OAI.ModularPencil.P139.h92642745553448732497903035 line 244
  60. lemma OAI.ModularPencil.P139.h185285491106897464995806069 line 248
  61. lemma OAI.ModularPencil.P139.h370570982213794929991612137 line 252
  62. lemma OAI.ModularPencil.P139.h370570982213794929991612138 line 256
  63. lemma OAI.ModularPencil.P139.h741141964427589859983224275 line 260
  64. lemma OAI.ModularPencil.P139.h1482283928855179719966448550 line 264