OAI/RepresentationTheory/PartialPermutation/
459 declarations, 0 contain sorry, 0 declared as axioms; 62 files
Files
- AlternatingTabloids.lean 14 declarations
- BlockSubgroups.lean 3 declarations
- CentralKernels.lean 5 declarations
- Characters.lean 4 declarations
- ClassCharacters.lean 5 declarations
- ColumnRearrangement.lean 12 declarations
- ColumnSorting.lean 15 declarations
- CompleteKernels.lean 6 declarations
- ComponentGeometry.lean 7 declarations
- Components.lean 8 declarations
- ConjugacyCounts.lean 6 declarations
- ConvolutionKernels.lean 13 declarations
- CosetCaps.lean 2 declarations
- CrossTableaux.lean 10 declarations
- DeficitCounts.lean 13 declarations
- DeficitPlancherel.lean 5 declarations
- DegreeEstimates.lean 2 declarations
- DegreeTransfer.lean 2 declarations
- DiagonalBounds.lean 7 declarations
- DiagramCounts.lean 14 declarations
- Equivalences.lean 10 declarations
- FillingExtensions.lean 10 declarations
- FourierBessel.lean 1 declarations
- HilbertSchmidt.lean 10 declarations
- Interleavings.lean 7 declarations
- IsotypicKernels.lean 6 declarations
- IsotypicMatrices.lean 11 declarations
- IsotypicProjections.lean 2 declarations
- JointKernels.lean 2 declarations
- Main.lean 1 declarations
- MatrixCoefficients.lean 2 declarations
- MatrixDegrees.lean 4 declarations
- Model.lean 17 declarations
- ModuleTransport.lean 6 declarations
- NormBounds.lean 1 declarations
- OperatorNorm.lean 2 declarations
- PartitionAsymptotics.lean 1 declarations
- Plancherel.lean 9 declarations
- Polytabloids.lean 17 declarations
- ProjectionCovers.lean 6 declarations
- ProjectionEnergy.lean 8 declarations
- RankFillings.lean 9 declarations
- ReciprocalBounds.lean 4 declarations
- ReciprocalTransfer.lean 3 declarations
- RegularRepresentation.lean 4 declarations
- Restriction.lean 6 declarations
- RowBounds.lean 12 declarations
- SchurAverage.lean 5 declarations
- SmallKernels.lean 6 declarations
- SpechtClassification.lean 11 declarations
- SpechtDimension.lean 7 declarations
- SpechtModules.lean 8 declarations
- SpechtShapes.lean 4 declarations
- StandardTableaux.lean 7 declarations
- SymmetricTransfer.lean 7 declarations
- TableauLimits.lean 7 declarations
- TableauVectors.lean 15 declarations
- TableauWeights.lean 10 declarations
- Tabloids.lean 19 declarations
- TailBounds.lean 11 declarations
- TrivialRepresentation.lean 11 declarations
- Truncation.lean 7 declarations