`OAI/NumberTheory/Catalan/`

24604 declarations, 0 contain sorry, 0 declared as axioms; 981 files

Folders

Analysis/ 257 files, 5103 declarations
Arithmetic/ 26 files, 543 declarations
Determinants/ 246 files, 2906 declarations
Energy/ 31 files, 839 declarations
Estimates/ 121 files, 2449 declarations
FiniteMatrices/ 189 files, 8093 declarations
FirstBarrier/ 6 files, 239 declarations
Polynomial/ 16 files, 184 declarations
PrimeLimits/ 2 files, 9 declarations
Results/ 2 files, 1 declarations
SecondBarrier/ 84 files, 4238 declarations

Files

Main.lean 29 imports, no declarations