OAI/Geometry/HeilbronnTriangle/DigitUniqueness.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Problem355.Digits.take_eq_of_ofDigits_mod_eq line 8
  2. theorem OAI.Problem355.Digits.ofDigits_ofFn_eq_sum line 20
  3. theorem OAI.Problem355.Digits.initial_digits_eq_of_sum_mod_eq line 25
  4. theorem OAI.Problem355.Digits.card_residue_fiber_le line 43
  5. theorem OAI.Problem355.Digits.card_residue_fiber_mul_le line 75
  6. theorem OAI.Problem355.Digits.residue_fiber_fraction_le line 88