OAI/Geometry/PeriodicTiling/PolynomialShiftDifference.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PeriodicTilingThree.polynomial_taylor_coeff_top line 13
2. theorem OAI.PeriodicTilingThree.polynomial_taylor_coeff_pred line 23
3. theorem OAI.PeriodicTilingThree.polynomial_shift_difference_coeff_pred line 40
4. theorem OAI.PeriodicTilingThree.polynomial_shift_difference_natDegree_le line 48
5. theorem OAI.PeriodicTilingThree.polynomial_shift_difference_degree_irrational line 64
6. theorem OAI.PeriodicTilingThree.polynomial_shift_difference_leadingCoeff line 89
7. theorem OAI.PeriodicTilingThree.polynomial_shift_difference_eval line 98