OAI/Combinatorics/PolynomialVacuum/Algebra/CupSlidePolynomial.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PolynomialVacuumAlgebra.cupPolynomial line 10
2. theorem OAI.PolynomialVacuumAlgebra.eval_cupPolynomial line 18
3. def OAI.PolynomialVacuumAlgebra.cupSlideGuard line 29
4. theorem OAI.PolynomialVacuumAlgebra.eval_cupSlideGuard line 33
5. theorem OAI.PolynomialVacuumAlgebra.cupSlideGuard_surface_ne_zero line 38
6. theorem OAI.PolynomialVacuumAlgebra.cupSurface_eq_of_generic line 48
7. theorem OAI.PolynomialVacuumAlgebra.cupAt_step line 58
8. theorem OAI.PolynomialVacuumAlgebra.cupAt_of_first line 74