OAI/Geometry/HeilbronnTriangle/DeterminantCoefficients.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem355.DigitCoefficients.digitPolynomial line 11
2. lemma OAI.Problem355.DigitCoefficients.coeff_digitPolynomial line 14
3. lemma OAI.Problem355.DigitCoefficients.abs_coeff_digitPolynomial_le line 19
4. lemma OAI.Problem355.DigitCoefficients.abs_coeff_digitPolynomial_mul_le line 27
5. lemma OAI.Problem355.DigitCoefficients.abs_coeff_triple_digitPolynomial_le line 51
6. def OAI.Problem355.DigitCoefficients.determinantPolynomial line 67
7. theorem OAI.Problem355.DigitCoefficients.abs_coeff_determinantPolynomial_le line 70
8. lemma OAI.Problem355.DigitCoefficients.eval_digitPolynomial line 90
9. lemma OAI.Problem355.DigitCoefficients.eval_determinantPolynomial line 94
10. lemma OAI.Problem355.DigitCoefficients.det_monomial_rows line 100
11. lemma OAI.Problem355.DigitCoefficients.determinantPolynomial_eq_sum line 106
12. lemma OAI.Problem355.DigitCoefficients.coeff_determinantPolynomial_eq_sum line 125
13. lemma OAI.Problem355.DigitCoefficients.coeff_det_sum_monomial line 133