OAI/Combinatorics/Progressions/
46812 declarations, 0 contain sorry, 0 declared as axioms; 4774 files
Folders
- Dynamics/ 339 files, 2011 declarations
- Estimates/ 1561 files, 16648 declarations
- FixedDensity/ 39 files, 2003 declarations
- Fourier/ 180 files, 1818 declarations
- Geometry/ 534 files, 3866 declarations
- Lattices/ 478 files, 4986 declarations
- Linear/ 420 files, 3767 declarations
- Nilpotent/ 139 files, 1595 declarations
- Polynomial/ 407 files, 4792 declarations
- Probability/ 329 files, 2445 declarations
- Results/ 6 files, 33 declarations
- Sampling/ 340 files, 2841 declarations
Files
- Main.lean 98 imports, no declarations
- Model.lean 7 declarations