OAI/Combinatorics/PolynomialVacuum/Algebra/BaseBounds.lean

GitHub source file

31 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_bound_0_0 line 7
  2. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_bound_0_1 line 33
  3. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_bound_0_2 line 59
  4. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_bound_1_0 line 85
  5. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_bound_1_1 line 102
  6. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_bound_1_2 line 119
  7. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_bound_2_0 line 136
  8. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_bound_2_1 line 153
  9. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_bound_2_2 line 170
  10. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_bound_3_0 line 187
  11. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_bound_3_1 line 204
  12. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_bound_3_2 line 221
  13. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_bound_4_0 line 238
  14. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_bound_4_1 line 255
  15. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_bound_4_2 line 272
  16. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_bound_5_0 line 289
  17. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_bound_5_1 line 306
  18. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_bound_5_2 line 323
  19. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_bound_6_0 line 340
  20. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_bound_6_1 line 357
  21. theorem OAI.PolynomialVacuumAlgebra.basePolyThree_bound_6_2 line 374
  22. theorem OAI.PolynomialVacuumAlgebra.basePolyTwo_bound_0_0 line 391
  23. theorem OAI.PolynomialVacuumAlgebra.basePolyTwo_bound_0_1 line 398
  24. theorem OAI.PolynomialVacuumAlgebra.basePolyTwo_bound_1_0 line 405
  25. theorem OAI.PolynomialVacuumAlgebra.basePolyTwo_bound_1_1 line 412
  26. theorem OAI.PolynomialVacuumAlgebra.basePolyTwo_bound_2_0 line 419
  27. theorem OAI.PolynomialVacuumAlgebra.basePolyTwo_bound_2_1 line 426
  28. theorem OAI.PolynomialVacuumAlgebra.vacuumThree_degrees line 433
  29. theorem OAI.PolynomialVacuumAlgebra.vacuumThree_minusZero line 607
  30. theorem OAI.PolynomialVacuumAlgebra.vacuumTwo_degrees line 613
  31. theorem OAI.PolynomialVacuumAlgebra.vacuumTwo_minusZero line 662