OAI/NumberTheory/ZetaFive/
87 declarations, 0 contain sorry, 0 declared as axioms; 7 files
Folders
- Arithmetic/ 3 files, 53 declarations
- Identities/ 4 files, 34 declarations
OAI/NumberTheory/ZetaFive/87 declarations, 0 contain sorry, 0 declared as axioms; 7 files