OAI/Combinatorics/BalancedRyser/Profiles/ProfileTargetExclusion.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Balanced.ProfileTargetExclusion.fraction_error line 7
  2. theorem OAI.Balanced.ProfileTargetExclusion.power_error line 35
  3. theorem OAI.Balanced.ProfileTargetExclusion.monomial_error line 42
  4. theorem OAI.Balanced.ProfileTargetExclusion.weighted_parameter_error line 52
  5. theorem OAI.Balanced.ProfileTargetExclusion.fraction_bounds line 81
  6. theorem OAI.Balanced.ProfileTargetExclusion.weighted_exclusion_error line 89
  7. theorem OAI.Balanced.ProfileTargetExclusion.weighted_target_hypergeometric_error line 105
  8. theorem OAI.Balanced.ProfileTargetExclusion.uniform_target_hypergeometric_approximation line 126
  9. theorem OAI.Balanced.ProfileTargetExclusion.uniform_target_hypergeometric_approximation_one_population line 154