OAI/Geometry/HeilbronnTriangle/ParameterSampling.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.Problem355.ParameterSampling.PointLaw line 14
2. def OAI.Problem355.ParameterSampling.PointLaw.pairProbability line 30
3. def OAI.Problem355.ParameterSampling.PointLaw.tripleProbability line 33
4. lemma OAI.Problem355.ParameterSampling.r_le_sampleCard line 36
5. lemma OAI.Problem355.ParameterSampling.relative_error_lt_one line 45
6. theorem OAI.Problem355.ParameterSampling.configuration_of_law line 73
7. theorem OAI.Problem355.ParameterSampling.heilbronn_power_lower_bound_of_point_laws line 91