OAI/Combinatorics/IndependentSets/Machines/ValuePolynomial.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.IndependentSetsCut.CounterMachine.Expr.valuePolynomial line 11
2. theorem OAI.IndependentSetsCut.CounterMachine.Expr.valuePolynomial_eval line 20
3. def OAI.IndependentSetsCut.CounterMachine.Expr.timePolynomial line 25
4. theorem OAI.IndependentSetsCut.CounterMachine.Expr.timePolynomial_eval line 39
5. theorem OAI.IndependentSetsCut.CounterMachine.Expr.correct_sum line 49
6. theorem OAI.IndependentSetsCut.CounterMachine.Expr.correct line 154