OAI/Combinatorics/BalancedRyser/Selection/SelectionScales.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.Balanced.SelectionScales.domain line 9
  2. def OAI.Balanced.SelectionScales.degree line 11
  3. theorem OAI.Balanced.SelectionScales.rate_bounds line 13
  4. theorem OAI.Balanced.SelectionScales.domain_bounds line 22
  5. theorem OAI.Balanced.SelectionScales.domain_pos line 44
  6. theorem OAI.Balanced.SelectionScales.degree_bounds line 50
  7. theorem OAI.Balanced.SelectionScales.domain_succ line 77
  8. theorem OAI.Balanced.SelectionScales.degree_succ line 81
  9. theorem OAI.Balanced.SelectionScales.domain_ratio line 94
  10. theorem OAI.Balanced.SelectionScales.degree_pos line 99
  11. theorem OAI.Balanced.SelectionScales.degree_ratio line 107
  12. theorem OAI.Balanced.SelectionScales.domain_relative_change line 113
  13. theorem OAI.Balanced.SelectionScales.degree_relative_change_le line 119