OAI/Combinatorics/PolynomialVacuum/Algebra/QuotientExchange.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.PolynomialVacuumAlgebra.NatPolyTensor line 9
2. def OAI.PolynomialVacuumAlgebra.evalNatPolyTensor line 10
3. def OAI.PolynomialVacuumAlgebra.polyTensorExchange line 12
4. def OAI.PolynomialVacuumAlgebra.polyEigenOne line 14
5. theorem OAI.PolynomialVacuumAlgebra.eval_polyTensorExchange line 16
6. theorem OAI.PolynomialVacuumAlgebra.eval_polyEigenOne line 19
7. theorem OAI.PolynomialVacuumAlgebra.scalar_quotient_exchange line 22
8. theorem OAI.PolynomialVacuumAlgebra.cupQuotient_exchange line 30