OAI/GroupTheory/PeriodicGroups/Presentation/
232 declarations, 0 contain sorry, 0 declared as axioms; 4 files
Files
- FinitePresentation.lean 74 declarations
- MatrixStabilizers.lean 54 declarations
- SmallFaithful.lean 36 declarations
- SmallSwapActions.lean 68 declarations