OAI/Topology/ArtinGroups/Coxeter/
205 declarations, 0 contain sorry, 0 declared as axioms; 31 files
Files
- AltList.lean 14 declarations
- AltListMap.lean 1 declarations
- AltListPairDescent.lean 3 declarations
- AltListReduced.lean 3 declarations
- AltNext.lean 4 declarations
- AlternatingLiftProd.lean 2 declarations
- AlternatingNextRoot.lean 1 declarations
- AmbientCoxeterFace.lean 9 declarations
- ArtinCoxeter.lean 17 declarations
- BraidCoreFirstTarget.lean 7 declarations
- BraidCoreIndex.lean 6 declarations
- BraidCorePlacement.lean 6 declarations
- BraidFirstPivot.lean 1 declarations
- BraidSecondPivot.lean 7 declarations
- CanonicalReducedWordLow.lean 3 declarations
- CommonWeakPrefixMaximal.lean 3 declarations
- InverseParabolicMinimum.lean 2 declarations
- OrdinaryCoxeterMatrix.lean 4 declarations
- OrdinaryTwistBraid.lean 1 declarations
- Parabolic.lean 12 declarations
- ParabolicLongest.lean 7 declarations
- ParabolicProductMap.lean 9 declarations
- PositiveBraidRel.lean 7 declarations
- PositiveBraidRelations.lean 12 declarations
- ReducedWordProperty.lean 1 declarations
- RestrictedMatrix.lean 4 declarations
- RightParabolicDecomposition.lean 2 declarations
- Signs.lean 27 declarations
- VertexCoxeterFace.lean 10 declarations
- WeakPrefix.lean 14 declarations
- WordProdEquiv.lean 6 declarations