OAI/RepresentationTheory/Saxl/
577 declarations, 0 contain sorry, 0 declared as axioms; 38 files
Files
- BandFactorization.lean 27 declarations
- BandGlue.lean 9 declarations
- BandMatrices.lean 32 declarations
- BandOrbit.lean 7 declarations
- BandPairing.lean 17 declarations
- BandSupport.lean 30 declarations
- Basic.lean 10 declarations
- ColumnContraction.lean 32 declarations
- CoordinateSector.lean 16 declarations
- CyclicSector.lean 14 declarations
- CyclicTensor.lean 10 declarations
- DominatedQuotient.lean 9 declarations
- DominatedSupport.lean 12 declarations
- HighProjection.lean 18 declarations
- HorizontalRemoval.lean 25 declarations
- Main.lean 10 declarations
- Model.lean 14 declarations
- PathAlternation.lean 28 declarations
- PathContraction.lean 24 declarations
- PieriRestriction.lean 14 declarations
- Polytabloid.lean 14 declarations
- PositionSplit.lean 24 declarations
- PositionTensor.lean 10 declarations
- RepeatedProjection.lean 12 declarations
- ShapeRigidity.lean 15 declarations
- SignEquivalence.lean 6 declarations
- SizedStrips.lean 6 declarations
- SpechtClassification.lean 23 declarations
- SpechtDuality.lean 10 declarations
- SpechtSubmodule.lean 18 declarations
- StaircaseSign.lean 18 declarations
- StaircaseTensor.lean 20 declarations
- StripExtension.lean 10 declarations
- StripReduction.lean 8 declarations
- StripSupport.lean 2 declarations
- SupportSeparation.lean 6 declarations
- TableauTransport.lean 8 declarations
- YoungRule.lean 9 declarations