`OAI/GroupTheory/PolycyclicRecognition/`

10638 declarations, 0 contain sorry, 0 declared as axioms; 3090 files

Folders

Algebra/ 1120 files, 4436 declarations
Analysis/ 549 files, 1749 declarations
Finiteness/ 267 files, 1218 declarations
Geometry/ 1047 files, 2888 declarations
Lattices/ 101 files, 331 declarations

Files

CoarseFiniteGeneration.lean 1 declarations
ConditionalBoundedHeight.lean 3 declarations
FiniteCovolumeLattice.lean 3 declarations
GromovImport.lean 1 declarations
Recognition.lean 5 declarations
RecognitionFromGromov.lean 3 declarations