OAI/Algebra/AffineCancellation/PolynomialDerivation.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ComplexCancellation.PolynomialDerivation.dual line 10
  2. lemma OAI.ComplexCancellation.PolynomialDerivation.dual_fst line 19
  3. lemma OAI.ComplexCancellation.PolynomialDerivation.dual_snd line 20
  4. def OAI.ComplexCancellation.PolynomialDerivation.fromDual line 21
  5. def OAI.ComplexCancellation.PolynomialDerivation.along line 29
  6. lemma OAI.ComplexCancellation.PolynomialDerivation.along_fst line 39
  7. lemma OAI.ComplexCancellation.PolynomialDerivation.along_snd line 41
  8. def OAI.ComplexCancellation.PolynomialDerivation.mvDual line 45
  9. lemma OAI.ComplexCancellation.PolynomialDerivation.mvDual_C line 53
  10. lemma OAI.ComplexCancellation.PolynomialDerivation.mvDual_X line 56
  11. lemma OAI.ComplexCancellation.PolynomialDerivation.mvDual_fst line 59
  12. def OAI.ComplexCancellation.PolynomialDerivation.mv line 65
  13. lemma OAI.ComplexCancellation.PolynomialDerivation.mv_C line 67
  14. lemma OAI.ComplexCancellation.PolynomialDerivation.mv_X line 71