OAI/NumberTheory/DirichletL/Detector/GaussianSubset.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.SevenEighths.ProbePhysical.SelectedSlot line 13
  2. def OAI.SevenEighths.ProbePhysical.compensationSubsetWeight line 15
  3. def OAI.SevenEighths.ProbePhysical.selectedSlotFactor line 19
  4. def OAI.SevenEighths.ProbePhysical.compensationRowTest line 24
  5. lemma OAI.SevenEighths.ProbePhysical.gaussian_slot_window_split line 31
  6. lemma OAI.SevenEighths.ProbePhysical.gaussian_compensation_scale line 37
  7. theorem OAI.SevenEighths.ProbePhysical.compensation_subset_common line 46