OAI/Combinatorics/PolynomialVacuum/Algebra/MarkedDegree.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PolynomialVacuumAlgebra.transportCup_mul line 9
2. theorem OAI.PolynomialVacuumAlgebra.initialCup_marked_degree line 18
3. theorem OAI.PolynomialVacuumAlgebra.leftFusionFactors_marked_degree line 24
4. theorem OAI.PolynomialVacuumAlgebra.cup_plus_carried line 39
5. theorem OAI.PolynomialVacuumAlgebra.cupPrescription_marked_degrees line 44
6. theorem OAI.PolynomialVacuumAlgebra.dividedCupPrescription_marked_degree line 70