OAI/NumberTheory/PowerFree/DegreeSchedules.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.QuarticPowerFree.physicalDegreeRecord line 16
  2. theorem OAI.QuarticPowerFree.physicalDegreeRecord_eq_path line 22
  3. theorem OAI.QuarticPowerFree.physical_degree_schedule line 30
  4. theorem OAI.QuarticPowerFree.physical_block_width line 40
  5. theorem OAI.QuarticPowerFree.physical_cumulative_margin line 53
  6. theorem OAI.QuarticPowerFree.physical_stagewise_stopped_count line 88
  7. theorem OAI.QuarticPowerFree.physical_initial_context line 153
  8. theorem OAI.QuarticPowerFree.physicalStateAt_context line 172
  9. theorem OAI.QuarticPowerFree.physical_hilbert_stage_cuts line 197
  10. theorem OAI.QuarticPowerFree.physical_regular_count line 243
  11. theorem OAI.QuarticPowerFree.physical_branch_power_bound line 286
  12. theorem OAI.QuarticPowerFree.stopped_forest_power_bound line 340