OAI/NumberTheory/DirichletL/Dictionary/InverseUniformLog.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.DetectorDictionaryInverseUniform.logTest_apply line 14
2. def OAI.SevenEighths.DetectorDictionaryInverseUniform.baseProfile line 20
3. lemma OAI.SevenEighths.DetectorDictionaryInverseUniform.baseProfile_support line 23
4. lemma OAI.SevenEighths.DetectorDictionaryInverseUniform.baseProfile_smooth line 31
5. def OAI.SevenEighths.DetectorDictionaryInverseUniform.inverseLogFamily line 45
6. lemma OAI.SevenEighths.DetectorDictionaryInverseUniform.inverseLogFamily_smooth line 49
7. lemma OAI.SevenEighths.DetectorDictionaryInverseUniform.inverseLogFamily_eq line 65
8. lemma OAI.SevenEighths.DetectorDictionaryInverseUniform.inverseLogFamily_support line 71