`OAI/NumberTheory/TwoPoint/`

6624 declarations, 0 contain sorry, 0 declared as axioms; 1465 files

Folders

Bounds/ 527 files, 2598 declarations
Circuits/ 72 files, 438 declarations
Fourier/ 113 files, 454 declarations
Halasz/ 283 files, 944 declarations
ShortIntervals/ 257 files, 1163 declarations
Walks/ 203 files, 960 declarations

Files

AffineDeduction.lean 10 declarations
Basic.lean 12 declarations
ConditionalMain.lean 3 declarations
Main.lean 3 declarations
MainWithMRTInputs.lean 3 declarations
PartiallyDischargedMain.lean 3 declarations
PretentiousDistance.lean 12 declarations
PublishedInputs.lean 12 declarations
QuantitativeAffineTransfer.lean 6 declarations
Statements.lean 3 declarations