OAI/Combinatorics/PolynomialVacuum/Algebra/BaseTwo.lean

GitHub source file

33 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PolynomialVacuumAlgebra.baseTwo line 8
  2. def OAI.PolynomialVacuumAlgebra.baseThreeFactor line 14
  3. def OAI.PolynomialVacuumAlgebra.baseThree line 15
  4. theorem OAI.PolynomialVacuumAlgebra.baseTwo_exchange_0 line 25
  5. theorem OAI.PolynomialVacuumAlgebra.baseTwo_rotation_0 line 34
  6. theorem OAI.PolynomialVacuumAlgebra.baseTwo_cup_0 line 42
  7. theorem OAI.PolynomialVacuumAlgebra.baseTwo_exchange_1 line 50
  8. theorem OAI.PolynomialVacuumAlgebra.baseTwo_rotation_1 line 58
  9. theorem OAI.PolynomialVacuumAlgebra.baseTwo_cup_1 line 65
  10. theorem OAI.PolynomialVacuumAlgebra.baseTwo_exchange_2 line 72
  11. theorem OAI.PolynomialVacuumAlgebra.baseTwo_rotation_2 line 80
  12. theorem OAI.PolynomialVacuumAlgebra.baseTwo_cup_2 line 87
  13. theorem OAI.PolynomialVacuumAlgebra.baseTwo_exchange_3 line 94
  14. theorem OAI.PolynomialVacuumAlgebra.baseTwo_rotation_3 line 102
  15. theorem OAI.PolynomialVacuumAlgebra.baseTwo_cup_3 line 109
  16. theorem OAI.PolynomialVacuumAlgebra.baseTwo_exchange_4 line 116
  17. theorem OAI.PolynomialVacuumAlgebra.baseTwo_rotation_4 line 124
  18. theorem OAI.PolynomialVacuumAlgebra.baseTwo_cup_4 line 131
  19. theorem OAI.PolynomialVacuumAlgebra.baseTwo_exchange_5 line 138
  20. theorem OAI.PolynomialVacuumAlgebra.baseTwo_rotation_5 line 147
  21. theorem OAI.PolynomialVacuumAlgebra.baseTwo_cup_5 line 155
  22. theorem OAI.PolynomialVacuumAlgebra.baseTwo_exchange_6 line 163
  23. theorem OAI.PolynomialVacuumAlgebra.baseTwo_rotation_6 line 171
  24. theorem OAI.PolynomialVacuumAlgebra.baseTwo_cup_6 line 178
  25. theorem OAI.PolynomialVacuumAlgebra.baseTwo_exchange_7 line 185
  26. theorem OAI.PolynomialVacuumAlgebra.baseTwo_rotation_7 line 194
  27. theorem OAI.PolynomialVacuumAlgebra.baseTwo_cup_7 line 202
  28. theorem OAI.PolynomialVacuumAlgebra.baseTwo_exchange_8 line 210
  29. theorem OAI.PolynomialVacuumAlgebra.baseTwo_rotation_8 line 218
  30. theorem OAI.PolynomialVacuumAlgebra.baseTwo_cup_8 line 225
  31. theorem OAI.PolynomialVacuumAlgebra.baseTwo_exchange line 232
  32. theorem OAI.PolynomialVacuumAlgebra.baseTwo_rotation line 246
  33. theorem OAI.PolynomialVacuumAlgebra.baseTwo_cup line 260