OAI/Geometry/HeilbronnTriangle/PrimeLiftParameters.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem355.Parameters.PrimeParameterData.liftMultiplicity line 13
2. lemma OAI.Problem355.Parameters.PrimeParameterData.liftMultiplicity_pos line 15
3. lemma OAI.Problem355.Parameters.PrimeParameterData.liftMultiplicity_mul_moduli line 18
4. lemma OAI.Problem355.Parameters.PrimeParameterData.moduli_dvd_N line 23
5. lemma OAI.Problem355.Parameters.PrimeParameterData.N_div_moduli line 27
6. lemma OAI.Problem355.Parameters.PrimeParameterData.h_pos line 31
7. def OAI.Problem355.PrimeLiftParameters.pointLaw line 41
8. theorem OAI.Problem355.PrimeLiftParameters.pairProbability_le line 55
9. theorem OAI.Problem355.PrimeLiftParameters.configuration_of_triple_bound line 73