OAI/Combinatorics/EditApproximation/Refinement/ComputedStageTime.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Exact divisibility and power bounds for the computed time counts.

  1. theorem OAI.EditApproximation.computed_refinement_count_exact line 9
  2. theorem OAI.EditApproximation.computed_refinement_count_real line 23
  3. theorem OAI.EditApproximation.computed_warmup_count_power line 30
  4. theorem OAI.EditApproximation.computed_warmup_count_root line 43