OAI/Combinatorics/SumProduct/Alignment/CorrectedBox05.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CorrectedBoxLeibman.grid_totalDegree_bound line 24
2. theorem OAI.CorrectedBoxLeibman.grid_totalDegree line 31
3. theorem OAI.CorrectedBoxLeibman.box_monomial_all_lengths line 92
4. def OAI.CorrectedBoxLeibman.chooseSequence line 161
5. lemma OAI.CorrectedBoxLeibman.newton_expansion line 168
6. lemma OAI.CorrectedBoxLeibman.power_binomial_expansion line 190
7. def OAI.CorrectedBoxLeibman.tensorMatrix line 199
8. def OAI.CorrectedBoxLeibman.tensorNewton line 202
9. def OAI.CorrectedBoxLeibman.binomialGridEval line 205
10. lemma OAI.CorrectedBoxLeibman.tensor_newton_expansion line 208
11. lemma OAI.CorrectedBoxLeibman.tensorMatrix_low line 223
12. lemma OAI.CorrectedBoxLeibman.tensorMatrix_degree line 228
13. lemma OAI.CorrectedBoxLeibman.tensorNewton_totalDegree line 236
14. def OAI.CorrectedBoxLeibman.tensorConversionBound line 258
15. lemma OAI.CorrectedBoxLeibman.tensorConversionBound_pos line 261
16. lemma OAI.CorrectedBoxLeibman.tensor_row_bound line 267
17. lemma OAI.CorrectedBoxLeibman.tensorNewton_bound line 276