OAI/Combinatorics/PolynomialVacuum/Algebra/ExchangeDiscrepancy.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PolynomialVacuumAlgebra.polyExchangeDenominator line 8
2. theorem OAI.PolynomialVacuumAlgebra.eval_polyExchangeDenominator line 11
3. def OAI.PolynomialVacuumAlgebra.exchangeDiscrepancy line 16
4. theorem OAI.PolynomialVacuumAlgebra.eval_exchangeDiscrepancy line 22
5. theorem OAI.PolynomialVacuumAlgebra.exchangeDiscrepancy_zero_iff line 28
6. def OAI.PolynomialVacuumAlgebra.partialTrainGuard line 43