OAI/NumberTheory/DirichletL/Detector/HighRowsWeights.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SevenEighths.ProbeEuler.localCubePhase_step_two line 8
2. theorem OAI.SevenEighths.ProbeEuler.weightedScalar_step_two line 26
3. def OAI.SevenEighths.ProbeEuler.rowWeightedScalar line 37
4. lemma OAI.SevenEighths.ProbeEuler.rowWeightedScalar_zero line 40
5. theorem OAI.SevenEighths.ProbeEuler.rowWeightedScalar_parameters line 44
6. theorem OAI.SevenEighths.ProbeEuler.evenRatio_unit line 52
7. theorem OAI.SevenEighths.ProbeEuler.rowWeightedScalar_step_two line 57