OAI/RepresentationTheory/KazhdanLusztig/
3005 declarations, 0 contain sorry, 0 declared as axioms; 34 files
Files
- BalancedPairings.lean 158 declarations
- BottSamelson.lean 177 declarations
- Bruhat.lean 35 declarations
- CanonicalKL.lean 30 declarations
- CharacterReciprocity.lean 140 declarations
- Comparison.lean 8 declarations
- Coxeter.lean 17 declarations
- Decomposition.lean 120 declarations
- Dihedral.lean 44 declarations
- DihedralIntervals.lean 137 declarations
- DyerPaths.lean 165 declarations
- EdgeLocalization.lean 58 declarations
- Frobenius.lean 198 declarations
- GradedModules.lean 81 declarations
- GradedSheaves.lean 112 declarations
- Hecke.lean 110 declarations
- HilbertSeries.lean 36 declarations
- IntegralPairings.lean 169 declarations
- Invariance.lean 23 declarations
- MinimalExtensions.lean 147 declarations
- Model.lean 9 declarations
- ModuleAlgebra.lean 34 declarations
- OrdinaryR.lean 18 declarations
- PlaneLocalization.lean 132 declarations
- PositiveTransfer.lean 84 declarations
- ReflectionOrders.lean 82 declarations
- ReflectionPlane.lean 4 declarations
- ReflectionSchedules.lean 161 declarations
- SheafMorphisms.lean 96 declarations
- Sheaves.lean 21 declarations
- SimultaneousInvariance.lean 24 declarations
- Support.lean 119 declarations
- TerminalKernels.lean 66 declarations
- Tits.lean 190 declarations