OAI/NumberTheory/SiegelZeros/
4501 declarations, 0 contain sorry, 0 declared as axioms; 306 files
Folders
- Characters/ 32 files, 310 declarations
- Conclusions/ 1 files, 1 declarations
- Determinants/ 17 files, 282 declarations
- Differentials/ 22 files, 316 declarations
- EntireFunctions/ 23 files, 330 declarations
- Estimates/ 13 files, 84 declarations
- Hilbert/ 13 files, 255 declarations
- Intersection/ 19 files, 352 declarations
- LocalAlgebra/ 69 files, 1115 declarations
- Selection/ 21 files, 296 declarations
- Structure/ 74 files, 1159 declarations
Files
- Main.lean 21 imports, no declarations
- Model.lean 1 declarations