OAI/NumberTheory/DirichletL/Detector/CentralDyadicWeight.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.ProbeHighRowFamily.dyadic_weighted_rows_card line 11
2. lemma OAI.SevenEighths.ProbeHighRowFamily.annular_power_uniform line 40
3. def OAI.SevenEighths.ProbeHighRowFamily.mixedSourceExponent line 46
4. lemma OAI.SevenEighths.ProbeHighRowFamily.mixed_physical_exponent line 49
5. lemma OAI.SevenEighths.ProbeHighRowFamily.mixed_source_slack line 61
6. lemma OAI.SevenEighths.ProbeHighRowFamily.dyad_conductor_margin line 69