FormalConjecturesForMathlib/NumberTheory/AutomorphicForm/
125 declarations, 0 contain sorry, 0 declared as axioms; 4 files
Folders
- BorelJacquet/ 3 files, 82 declarations
Files
- BorelJacquet.lean 43 declarations