OAI/Combinatorics/PolynomialVacuum/Algebra/FinalCupZeros.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PolynomialVacuumAlgebra.eval_partialTrainGuard line 10
2. theorem OAI.PolynomialVacuumAlgebra.partialTrainGuard_surface line 14
3. theorem OAI.PolynomialVacuumAlgebra.finalDifference_penultimate_generic line 33
4. theorem OAI.PolynomialVacuumAlgebra.finalDifference_penultimate line 46
5. theorem OAI.PolynomialVacuumAlgebra.reverseExchangeGuard_surface line 61
6. theorem OAI.PolynomialVacuumAlgebra.finalDifference_last line 67