OAI/NumberTheory/DirichletL/Detector/LowCentralGeometry.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.ProbePhysical.lowUnselectedProduct_norm_upper_nominal line 9
2. theorem OAI.SevenEighths.ProbePhysical.eventually_low_selected_caps line 27
3. def OAI.SevenEighths.ProbePhysical.lowCentralShift line 41
4. lemma OAI.SevenEighths.ProbePhysical.lowCentralShift_scale line 43
5. lemma OAI.SevenEighths.ProbePhysical.lowCentralShift_bound line 48
6. lemma OAI.SevenEighths.ProbePhysical.lowCentral_ratio_bounds line 55