OAI/Geometry/HeilbronnTriangle/AuxiliarySamplingParameters.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Problem355.AuxiliarySampling.Law.density_ratio_le line 18
  2. theorem OAI.Problem355.AuxiliarySampling.Law.density_scale_le line 30
  3. theorem OAI.Problem355.AuxiliarySampling.nonempty_parameterLaw line 37
  4. def OAI.Problem355.AuxiliarySampling.parameterLaw line 45
  5. theorem OAI.Problem355.AuxiliarySampling.density_ratio_le_parameter line 53
  6. theorem OAI.Problem355.AuxiliarySampling.sets_nonempty_parameter line 59
  7. theorem OAI.Problem355.AuxiliarySampling.weight_le_four_parameter line 65
  8. theorem OAI.Problem355.AuxiliarySampling.weight_le_two_parameter line 76
  9. theorem OAI.Problem355.AuxiliarySampling.parameterLaw_density_ratio_le line 93