OAI/NumberTheory/ShortEgyptian/IntervalDifferencing.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.ShortEgyptian.phase_neg line 12
2. theorem OAI.ShortEgyptian.phase_sum_second_derivative_sqrt line 17
3. theorem OAI.ShortEgyptian.matrix_van_der_corput line 40
4. theorem OAI.ShortEgyptian.supported_interval_sum_shift line 88
5. theorem OAI.ShortEgyptian.correlation_norm_symm line 107
6. theorem OAI.ShortEgyptian.interval_van_der_corput line 117