OAI/NumberTheory/DirichletL/Detector/FinalAssemblyMomentInput.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SevenEighths.ProbeFinalAssembly.SourceMomentBound line 13
2. lemma OAI.SevenEighths.ProbeFinalAssembly.SourceMomentBound.mono_constant line 25
3. def OAI.SevenEighths.ProbeFinalAssembly.RawMomentInput line 34
4. lemma OAI.SevenEighths.ProbeFinalAssembly.polynomial_height_absorption line 42
5. theorem OAI.SevenEighths.ProbeFinalAssembly.raw_input_chosen_height line 56