OAI/Combinatorics/PolynomialVacuum/Algebra/HomogeneityStep.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PolynomialVacuumAlgebra.scalingDiscrepancy_cup line 9
2. theorem OAI.PolynomialVacuumAlgebra.scalingDiscrepancy_degree line 23
3. theorem OAI.PolynomialVacuumAlgebra.scalingDiscrepancy_minusZero line 29
4. theorem OAI.PolynomialVacuumAlgebra.homogeneous_of_scalingDiscrepancy line 36
5. theorem OAI.PolynomialVacuumAlgebra.homogDegree_step line 47
6. theorem OAI.PolynomialVacuumAlgebra.homogeneity_of_cups line 53