OAI/NumberTheory/DirichletL/PrimeRows/DyadIntegral.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SevenEighths.ProbeHighRowFamily.physicalDyadNorm line 14
2. lemma OAI.SevenEighths.ProbeHighRowFamily.physicalDyadNorm_nonneg line 22
3. lemma OAI.SevenEighths.ProbeHighRowFamily.physicalDyadNorm_onLines_aestronglyMeasurable line 29
4. theorem OAI.SevenEighths.ProbeHighRowFamily.calibrated_physical_dyad_integral line 47