OAI/Combinatorics/PolynomialVacuum/Algebra/ExchangeDegrees.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PolynomialVacuumAlgebra.dadd line 11
2. theorem OAI.PolynomialVacuumAlgebra.dmul line 14
3. theorem OAI.PolynomialVacuumAlgebra.dpow line 17
4. theorem OAI.PolynomialVacuumAlgebra.dconst_mul line 20
5. theorem OAI.PolynomialVacuumAlgebra.dmul_const line 23
6. theorem OAI.PolynomialVacuumAlgebra.polyExchange_degree line 28
7. theorem OAI.PolynomialVacuumAlgebra.polyExchange_carried_loss line 38
8. theorem OAI.PolynomialVacuumAlgebra.polyExchange_spectator_loss line 46
9. theorem OAI.PolynomialVacuumAlgebra.degreeOf_rename_missing line 54
10. theorem OAI.PolynomialVacuumAlgebra.tensorExchange_degree line 60