OAI/Combinatorics/BalancedRyser/Probability/PatternWeightExtensions.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Balanced.PatternModel.sum_productWeight_cons_eq line 12
  2. theorem OAI.Balanced.PatternModel.productWeight_subset_extension_le line 33
  3. theorem OAI.Balanced.PatternModel.productWeight_free_extension_le line 58
  4. theorem OAI.Balanced.PatternModel.productWeight_overlap_extension_le line 65
  5. theorem OAI.Balanced.PatternModel.additionalSupport_card_le line 82
  6. theorem OAI.Balanced.uniform_productWeight_extensions line 100