OAI/Combinatorics/PolynomialVacuum/Algebra/Table.lean

GitHub source file

83 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PolynomialVacuumAlgebra.exchangeTable line 7
  2. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_0_0 line 29
  3. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_0_1 line 39
  4. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_0_2 line 46
  5. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_0_3 line 53
  6. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_0_4 line 60
  7. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_0_5 line 67
  8. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_0_6 line 77
  9. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_0_7 line 84
  10. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_0_8 line 94
  11. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_1_0 line 101
  12. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_1_1 line 108
  13. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_1_2 line 118
  14. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_1_3 line 125
  15. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_1_4 line 135
  16. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_1_5 line 142
  17. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_1_6 line 149
  18. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_1_7 line 156
  19. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_1_8 line 163
  20. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_2_0 line 170
  21. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_2_1 line 177
  22. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_2_2 line 184
  23. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_2_3 line 194
  24. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_2_4 line 201
  25. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_2_5 line 208
  26. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_2_6 line 215
  27. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_2_7 line 225
  28. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_2_8 line 232
  29. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_3_0 line 239
  30. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_3_1 line 246
  31. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_3_2 line 256
  32. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_3_3 line 263
  33. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_3_4 line 273
  34. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_3_5 line 280
  35. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_3_6 line 287
  36. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_3_7 line 294
  37. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_3_8 line 301
  38. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_4_0 line 308
  39. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_4_1 line 315
  40. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_4_2 line 322
  41. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_4_3 line 329
  42. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_4_4 line 336
  43. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_4_5 line 346
  44. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_4_6 line 353
  45. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_4_7 line 360
  46. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_4_8 line 367
  47. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_5_0 line 374
  48. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_5_1 line 384
  49. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_5_2 line 391
  50. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_5_3 line 398
  51. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_5_4 line 405
  52. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_5_5 line 412
  53. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_5_6 line 422
  54. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_5_7 line 429
  55. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_5_8 line 439
  56. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_6_0 line 446
  57. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_6_1 line 453
  58. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_6_2 line 460
  59. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_6_3 line 470
  60. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_6_4 line 477
  61. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_6_5 line 484
  62. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_6_6 line 491
  63. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_6_7 line 501
  64. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_6_8 line 508
  65. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_7_0 line 515
  66. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_7_1 line 525
  67. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_7_2 line 532
  68. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_7_3 line 539
  69. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_7_4 line 546
  70. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_7_5 line 553
  71. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_7_6 line 563
  72. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_7_7 line 570
  73. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_7_8 line 580
  74. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_8_0 line 587
  75. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_8_1 line 594
  76. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_8_2 line 601
  77. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_8_3 line 608
  78. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_8_4 line 615
  79. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_8_5 line 622
  80. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_8_6 line 629
  81. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_8_7 line 636
  82. theorem OAI.PolynomialVacuumAlgebra.numerator_entry_8_8 line 643
  83. theorem OAI.PolynomialVacuumAlgebra.exchangeNumerator_eq_table line 653