OAI/GroupTheory/
37464 declarations, 0 contain sorry, 0 declared as axioms; 4192 files
Folders
- ArithmeticGerms/ 2 files, 50 declarations
- ArtinCAT0/ 20 files, 1049 declarations
- BooneHigman/ 30 files, 2297 declarations
- Congruence/ 13 files, 930 declarations
- CyclicSeries/ 1 files, 66 declarations
- FiniteIndex/ 5 files, 11 declarations
- FiniteKernel/ 1 files, 17 declarations
- FiniteLattice/ 14 files, 132 declarations
- FiniteType/ 136 files, 4726 declarations
- GroupCohomology/ 2 files, 39 declarations
- Heisenberg/ 1 files, 92 declarations
- Hyperbolic/ 29 files, 900 declarations
- Kervaire/ 47 files, 839 declarations
- PChains/ 4 files, 22 declarations
- PeriodicGroups/ 63 files, 4419 declarations
- PolycyclicRecognition/ 3090 files, 10638 declarations
- Presentation/ 1 files, 24 declarations
- RightAngledArtin/ 4 files, 287 declarations
- SimpleAmenable/ 550 files, 6669 declarations
- SimpleOvergroups/ 60 files, 1265 declarations
- Thompson/ 68 files, 874 declarations
- UniversalGroup/ 50 files, 2118 declarations
Files
- PolycyclicRecognition.lean 1311 imports, no declarations