OAI/NumberTheory/Catalan/Polynomial/TwoAdicCoefficients.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.InternalCatalan.chebyshev_T_coeff_two_pow_dvd line 14
  2. theorem OAI.InternalCatalan.chebyshev_U_coeff_two_pow_dvd line 32
  3. theorem OAI.InternalCatalan.reversed_T_coeff_two_pow_dvd line 39
  4. theorem OAI.InternalCatalan.signed_reversed_U_coeff_two_pow_dvd line 47
  5. theorem OAI.InternalCatalan.le_two_adic_int_of_pow_dvd line 55
  6. theorem OAI.InternalCatalan.chebyshev_T_coeff_two_adic_le line 63
  7. theorem OAI.InternalCatalan.chebyshev_U_coeff_two_adic_le line 70