OAI/Combinatorics/PolynomialVacuum/Algebra/PolynomialScaling.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PolynomialVacuumAlgebra.scalePolynomial line 8
2. theorem OAI.PolynomialVacuumAlgebra.scalePolynomial_monomial line 11
3. theorem OAI.PolynomialVacuumAlgebra.coeff_scalePolynomial line 20
4. theorem OAI.PolynomialVacuumAlgebra.degreeOf_scalePolynomial_le line 31
5. theorem OAI.PolynomialVacuumAlgebra.eval_scalePolynomial line 39
6. theorem OAI.PolynomialVacuumAlgebra.killSite_scalePolynomial line 48
7. theorem OAI.PolynomialVacuumAlgebra.homogeneous_scale line 58
8. theorem OAI.PolynomialVacuumAlgebra.homogeneous_of_scale_two line 66