OAI/GroupTheory/PeriodicGroups/Rules/
1080 declarations, 0 contain sorry, 0 declared as axioms; 15 files
Files
- BoundaryCell.lean 51 declarations
- CommittedWords.lean 48 declarations
- ConnectedWords.lean 64 declarations
- DataWords.lean 50 declarations
- GeometricRelations.lean 72 declarations
- HeadTour.lean 103 declarations
- LocalSyntax.lean 74 declarations
- Palette.lean 56 declarations
- PrefixRewriting.lean 59 declarations
- Recognizer.lean 126 declarations
- TableEncoding.lean 109 declarations
- TemplateHierarchy.lean 64 declarations
- Transactions.lean 55 declarations
- WordComponents.lean 69 declarations
- WordRewriting.lean 80 declarations