`OAI/GroupTheory/PeriodicGroups/`

4419 declarations, 0 contain sorry, 0 declared as axioms; 63 files

Folders

Algebra/ 5 files, 284 declarations
Formulas/ 6 files, 646 declarations
Frames/ 3 files, 133 declarations
Homology/ 5 files, 334 declarations
Machines/ 13 files, 1096 declarations
Matrices/ 1 files, 50 declarations
Periodicity/ 1 files, 8 declarations
Presentation/ 4 files, 232 declarations
Rules/ 15 files, 1080 declarations
Steinberg/ 9 files, 553 declarations

Files

Main.lean 3 declarations