OAI/GroupTheory/SimpleAmenable/
6669 declarations, 0 contain sorry, 0 declared as axioms; 550 files
Folders
- Amenability/ 18 files, 202 declarations
- Arithmetic/ 11 files, 129 declarations
- CentralCovers/ 100 files, 779 declarations
- Configurations/ 66 files, 907 declarations
- Homology/ 100 files, 1522 declarations
- PolygonGeometry/ 129 files, 1318 declarations
- RandomFields/ 35 files, 364 declarations
- Simplicial/ 89 files, 1441 declarations
Files
- Main.lean 5 declarations
- Model.lean 2 declarations