OAI/Combinatorics/PolynomialVacuum/Algebra/BaseEndpoints.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PolynomialVacuumAlgebra.baseThree_lastCup line 9
2. theorem OAI.PolynomialVacuumAlgebra.vacuumThree_lastCup line 15
3. theorem OAI.PolynomialVacuumAlgebra.vacuumTwo_nodes line 20
4. theorem OAI.PolynomialVacuumAlgebra.vacuumThree_nodes line 27
5. theorem OAI.PolynomialVacuumAlgebra.vacuumOne_lastZero line 36
6. theorem OAI.PolynomialVacuumAlgebra.vacuumTwo_lastZero line 40
7. theorem OAI.PolynomialVacuumAlgebra.baseThree_lastZero line 45
8. theorem OAI.PolynomialVacuumAlgebra.vacuumThree_lastZero line 51