OAI/Combinatorics/Ryser/Selection/DensityConstants.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.RyserCoveringCounterexample.Selection.densityChunkCount line 13
  2. def OAI.RyserCoveringCounterexample.Selection.densityAlpha line 15
  3. def OAI.RyserCoveringCounterexample.Selection.densityDelta line 17
  4. def OAI.RyserCoveringCounterexample.Selection.densityGamma line 19
  5. def OAI.RyserCoveringCounterexample.Selection.densityRate line 22
  6. theorem OAI.RyserCoveringCounterexample.Selection.densityAlpha_pos line 24
  7. theorem OAI.RyserCoveringCounterexample.Selection.densityDelta_pos line 30
  8. theorem OAI.RyserCoveringCounterexample.Selection.densityGamma_pos line 34
  9. theorem OAI.RyserCoveringCounterexample.Selection.densityRate_pos line 40
  10. theorem OAI.RyserCoveringCounterexample.Selection.equationBound_mul_densityAlpha line 44
  11. theorem OAI.RyserCoveringCounterexample.Selection.density_error_budget line 51
  12. theorem OAI.RyserCoveringCounterexample.Selection.density_chunkCount_identity line 61
  13. theorem OAI.RyserCoveringCounterexample.Selection.regularTailConstant_pos line 67