`OAI/NumberTheory/JointDickman/`

5317 declarations, 0 contain sorry, 0 declared as axioms; 1502 files

Folders

Amplification/ 540 files, 1791 declarations
Analysis/ 213 files, 678 declarations
Arithmetic/ 290 files, 1082 declarations
Counting/ 267 files, 894 declarations
Probability/ 186 files, 825 declarations

Files

Basic.lean 19 declarations
ConditionalMain.lean 4 declarations
DischargedMain.lean 8 declarations
MainStatements.lean 8 declarations
PaperMain.lean 3 declarations
UnconditionalMain.lean 5 declarations