OAI/Algebra/FormulaHitting/ScaledDerivatives.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.NCHitting.derivative_scaled_power line 15
  2. theorem OAI.NCHitting.coePolynomial_sum line 27
  3. theorem OAI.NCHitting.coePolynomial_sub line 31
  4. theorem OAI.NCHitting.coePolynomial_natCast line 35
  5. theorem OAI.NCHitting.derivative_polynomial_row line 39
  6. theorem OAI.NCHitting.scaled_derivative_row line 67