OAI/NumberTheory/Ostmann/PrimeProgression/
35 declarations, 0 contain sorry, 0 declared as axioms; 12 files
Files
- CountToHarmonic.lean 2 declarations
- CountToHarmonicAbel.lean 4 declarations
- CountToHarmonicCutoff.lean 2 declarations
- CountToHarmonicEndpoint.lean 5 declarations
- CountToHarmonicError.lean 2 declarations
- CountToHarmonicFinite.lean 2 declarations
- CountToHarmonicLog.lean 4 declarations
- CountToHarmonicMain.lean 4 declarations
- CountToHarmonicProfile.lean 2 declarations
- CountToHarmonicSupport.lean 5 declarations
- CountToHarmonicTransfer.lean 1 declarations
- CountToHarmonicUnits.lean 2 declarations