OAI/GroupTheory/BooneHigman/
2297 declarations, 0 contain sorry, 0 declared as axioms; 30 files
Files
- ActionEnvelope.lean 100 declarations
- AdjacentPermutations.lean 52 declarations
- Affine.lean 85 declarations
- AffineModules.lean 83 declarations
- AlgebraPresentations.lean 100 declarations
- Basic.lean 5 declarations
- BinaryCategory.lean 56 declarations
- BinaryCoherence.lean 99 declarations
- CantorBricks.lean 118 declarations
- Contracted.lean 40 declarations
- Corners.lean 160 declarations
- DecoratedPresentation.lean 85 declarations
- Diagrams.lean 53 declarations
- EndpointCoherence.lean 45 declarations
- Enveloping.lean 35 declarations
- FinitePresentation.lean 88 declarations
- Generators.lean 63 declarations
- GroupInput.lean 55 declarations
- Main.lean 5 declarations
- MappingTori.lean 61 declarations
- MonoidAlgebras.lean 191 declarations
- PartialAffine.lean 97 declarations
- Steinberg.lean 146 declarations
- SteinbergLimits.lean 44 declarations
- SteinbergPresentation.lean 82 declarations
- TreeCoherence.lean 108 declarations
- TreeRefinement.lean 80 declarations
- Trees.lean 37 declarations
- TwistedSimplicity.lean 88 declarations
- WordProblem.lean 36 declarations