OAI/NumberTheory/DirichletL/Detector/Gauss.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SevenEighths.ProbeGauss.frequencyGauss line 12
  2. theorem OAI.SevenEighths.ProbeGauss.frequencyGauss_eq_shift line 16
  3. theorem OAI.SevenEighths.ProbeGauss.frequencyGauss_nonzero line 20
  4. theorem OAI.SevenEighths.ProbeGauss.frequencyGauss_zero_nonprincipal line 25
  5. theorem OAI.SevenEighths.ProbeGauss.frequencyGauss_nonprincipal line 30
  6. theorem OAI.SevenEighths.ProbeGauss.frequencyGauss_principal line 38
  7. theorem OAI.SevenEighths.ProbeGauss.gauss_inverse_pair line 50
  8. def OAI.SevenEighths.ProbeGauss.normalizedGauss line 56
  9. theorem OAI.SevenEighths.ProbeGauss.normalizedGauss_inverse_pair line 60
  10. theorem OAI.SevenEighths.ProbeGauss.finite_gauss_convolution line 70