OAI/NumberTheory/DirichletL/Detector/GaussianSlots.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SevenEighths.ProbePhysical.gaussianSlotWindow line 10
2. def OAI.SevenEighths.ProbePhysical.gaussianSlotSlope line 13
3. def OAI.SevenEighths.ProbePhysical.gaussianSlotPoint line 16
4. lemma OAI.SevenEighths.ProbePhysical.gaussianSlot_argument line 20
5. lemma OAI.SevenEighths.ProbePhysical.logPhase_neg_argument line 28
6. lemma OAI.SevenEighths.ProbePhysical.gaussianSlot_product line 34
7. lemma OAI.SevenEighths.ProbePhysical.gaussianFixedWindow_Vstar_twist line 44
8. lemma OAI.SevenEighths.ProbePhysical.gaussianAnnulus_log_support line 51
9. theorem OAI.SevenEighths.ProbePhysical.gaussian_selected_slot_family line 64