OAI/Combinatorics/PolynomialVacuum/Algebra/BaseThreeNode.lean

GitHub source file

28 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_0 line 7
2. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_1 line 15
3. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_2 line 22
4. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_3 line 29
5. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_4 line 36
6. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_5 line 43
7. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_6 line 51
8. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_7 line 58
9. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_8 line 66
10. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_9 line 73
11. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_10 line 80
12. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_11 line 87
13. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_12 line 95
14. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_13 line 102
15. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_14 line 109
16. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_15 line 116
17. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_16 line 124
18. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_17 line 131
19. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_18 line 138
20. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_19 line 145
21. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_20 line 153
22. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_21 line 160
23. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_22 line 168
24. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_23 line 175
25. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_24 line 182
26. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_25 line 189
27. theorem OAI.PolynomialVacuumAlgebra.baseThree_node_26 line 196
28. theorem OAI.PolynomialVacuumAlgebra.baseThree_node line 203