OAI/Combinatorics/MatchingCount/Arithmetic/TreeNatDivision.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.MatchingFPRAS.TreeTyped.digitValue line 10
  2. def OAI.MatchingFPRAS.TreeTyped.divStep line 13
  3. def OAI.MatchingFPRAS.TreeTyped.divStepRealizer line 19
  4. lemma OAI.MatchingFPRAS.TreeTyped.divStep_first line 32
  5. lemma OAI.MatchingFPRAS.TreeTyped.divStep_lt line 33
  6. lemma OAI.MatchingFPRAS.TreeTyped.divStep_mass line 40
  7. lemma OAI.MatchingFPRAS.TreeTyped.divFold_first line 51
  8. lemma OAI.MatchingFPRAS.TreeTyped.divFold_lt line 61
  9. lemma OAI.MatchingFPRAS.TreeTyped.divFold_mass line 71
  10. lemma OAI.MatchingFPRAS.TreeTyped.divFold_correct line 91
  11. def OAI.MatchingFPRAS.TreeTyped.divCore line 101
  12. def OAI.MatchingFPRAS.TreeTyped.division line 106