OAI/Geometry/HeilbronnTriangle/PolynomialCoefficients.lean

GitHub source file

27 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Problem355.PolynomialCoefficients.combine line 13
  2. lemma OAI.Problem355.PolynomialCoefficients.combine_apply_zero line 16
  3. lemma OAI.Problem355.PolynomialCoefficients.combine_apply_one line 19
  4. lemma OAI.Problem355.PolynomialCoefficients.combine_apply_two line 22
  5. lemma OAI.Problem355.PolynomialCoefficients.combine_injective line 25
  6. def OAI.Problem355.PolynomialCoefficients.groupSwap line 40
  7. lemma OAI.Problem355.PolynomialCoefficients.combine_map_swap01 line 43
  8. lemma OAI.Problem355.PolynomialCoefficients.combine_map_swap12 line 49
  9. lemma OAI.Problem355.PolynomialCoefficients.combine_curry line 55
  10. lemma OAI.Problem355.PolynomialCoefficients.combine_index_injective line 60
  11. lemma OAI.Problem355.PolynomialCoefficients.curry_degree_eq_weight line 69
  12. lemma OAI.Problem355.PolynomialCoefficients.expansion_of_support line 82
  13. lemma OAI.Problem355.PolynomialCoefficients.three_group_expansion line 98
  14. lemma OAI.Problem355.PolynomialCoefficients.three_group_expansion_of_degree line 118
  15. def OAI.Problem355.PolynomialCoefficients.inGroup line 131
  16. lemma OAI.Problem355.PolynomialCoefficients.inGroup_apply_same line 134
  17. lemma OAI.Problem355.PolynomialCoefficients.inGroup_apply_ne line 138
  18. lemma OAI.Problem355.PolynomialCoefficients.combine_eq_add line 144
  19. def OAI.Problem355.PolynomialCoefficients.groupMonomial line 153
  20. lemma OAI.Problem355.PolynomialCoefficients.groupMonomial_eq line 156
  21. lemma OAI.Problem355.PolynomialCoefficients.monomial_combine line 160
  22. lemma OAI.Problem355.PolynomialCoefficients.eval_monomial_combine line 166
  23. lemma OAI.Problem355.PolynomialCoefficients.eval_three_group_expansion line 175
  24. lemma OAI.Problem355.PolynomialCoefficients.coeff_mapDomain_eq_neg line 192
  25. def OAI.Problem355.PolynomialCoefficients.tensorCoeff line 199
  26. lemma OAI.Problem355.PolynomialCoefficients.tensorCoeff_swap01 line 202
  27. lemma OAI.Problem355.PolynomialCoefficients.tensorCoeff_swap12 line 208