OAI/Geometry/HeilbronnTriangle/PrescribedDigits.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Problem355.DesignatedCoefficient.last_position_product_le line 11
2. lemma OAI.Problem355.DesignatedCoefficient.position_injective line 17
3. lemma OAI.Problem355.DesignatedCoefficient.position_lt line 31
4. theorem OAI.Problem355.DesignatedCoefficient.map_eq_polynomialMatrix_of_coefficients line 44
5. theorem OAI.Problem355.DesignatedCoefficient.digitPolynomial_map_eq line 75
6. theorem OAI.Problem355.DesignatedCoefficient.digit_det_designated_coefficient_ne_zero line 94