OAI/Combinatorics/BalancedRyser/Incidence/AffineProfileParameter.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Balanced.AffineProfileParameter.monomial_eq_real_power line 17
  2. theorem OAI.Balanced.AffineProfileParameter.target_multiplicity_pos line 25
  3. theorem OAI.Balanced.AffineProfileParameter.planeTest_eq_average line 30
  4. theorem OAI.Balanced.AffineProfileParameter.dTest_eq_average line 47
  5. theorem OAI.Balanced.AffineProfileParameter.cTest_eq_average line 66
  6. theorem OAI.Balanced.AffineProfileParameter.planePowerMean_error_to_planeTest line 85
  7. theorem OAI.Balanced.AffineProfileParameter.targetPowerMean_error_to_dTest line 105
  8. theorem OAI.Balanced.AffineProfileParameter.targetPowerMean_error_to_cTest line 125
  9. theorem OAI.Balanced.AffineProfileParameter.planePowerMean_empty_error_to_planeTest line 146
  10. theorem OAI.Balanced.AffineProfileParameter.targetPowerMean_empty_error_to_dTest line 168
  11. theorem OAI.Balanced.AffineProfileParameter.uniform_order_d_tests_approximation line 190
  12. theorem OAI.Balanced.AffineProfileParameter.uniform_order_c_tests_approximation line 227
  13. theorem OAI.Balanced.AffineProfileParameter.uniform_order_empty_tests_approximation line 264