OAI/Combinatorics/BalancedRyser/Selection/SelectionPostcheckTail.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Balanced.Selection.Process.finite_union_weight_le line 11
  2. theorem OAI.Balanced.Selection.Process.flag_mean_le_card_mul_alpha line 33
  3. def OAI.Balanced.Selection.Process.postcheckMean line 41
  4. def OAI.Balanced.Selection.Process.postcheckTail line 43
  5. theorem OAI.Balanced.Selection.Process.domain_flag_mean_le line 47
  6. theorem OAI.Balanced.Selection.Process.neighbor_flag_mean_le line 69
  7. theorem OAI.Balanced.Selection.Process.postcheck_failure_mass_le line 86