OAI/NumberTheory/DirichletL/Detector/SpectralWeights.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.ProbeEuler.signed_diagonal_phase line 8
2. lemma OAI.SevenEighths.ProbeEuler.source_signed_phase line 19
3. lemma OAI.SevenEighths.ProbeEuler.spectral_power_split line 26
4. lemma OAI.SevenEighths.ProbeEuler.cpow_half_eq_sqrt line 45
5. def OAI.SevenEighths.ProbeEuler.sourceWeightedScalar line 50
6. theorem OAI.SevenEighths.ProbeEuler.sourceWeightedScalar_eq line 56
7. lemma OAI.SevenEighths.ProbeEuler.firstGauss_eq_gamma_sqrt line 76
8. theorem OAI.SevenEighths.ProbeEuler.sourceWeightedScalar_actual line 95