OAI/RepresentationTheory/FoulkesSixth/Main.lean
0 declarations, 0 contain sorry, 0 declared as axioms
This file declares nothing itself. It gathers the 40 imports below, so a file that imports it gets all of them.
Imports
- OAI.RepresentationTheory.FoulkesSixth.Collision
- OAI.RepresentationTheory.FoulkesSixth.Diagonal
- OAI.RepresentationTheory.FoulkesSixth.StripSupport
- OAI.RepresentationTheory.FoulkesSixth.CompleteNewton
- OAI.RepresentationTheory.FoulkesSixth.YoungModules
- OAI.RepresentationTheory.FoulkesSixth.PolynomialSpan
- OAI.RepresentationTheory.FoulkesSixth.SymTensors
- OAI.RepresentationTheory.FoulkesSixth.StripCoefficient
- OAI.RepresentationTheory.FoulkesSixth.SemisimpleBridge
- OAI.RepresentationTheory.FoulkesSixth.ColorOrbits
- OAI.RepresentationTheory.FoulkesSixth.SymDual
- OAI.RepresentationTheory.FoulkesSixth.Differential
- OAI.RepresentationTheory.FoulkesSixth.StripInterlace
- OAI.RepresentationTheory.FoulkesSixth.GenericShift
- OAI.RepresentationTheory.FoulkesSixth.SymOperations
- OAI.RepresentationTheory.FoulkesSixth.SignedStrips
- OAI.RepresentationTheory.FoulkesSixth.PlethDual
- OAI.RepresentationTheory.FoulkesSixth.SymPolynomial
- OAI.RepresentationTheory.FoulkesSixth.Lookup
- OAI.RepresentationTheory.FoulkesSixth.LookupExtraction
- OAI.RepresentationTheory.FoulkesSixth.AlternantExpansion
- OAI.RepresentationTheory.FoulkesSixth.TensorPolarization
- OAI.RepresentationTheory.FoulkesSixth.HomogeneousPlethysm
- OAI.RepresentationTheory.FoulkesSixth.InvariantPolarization
- OAI.RepresentationTheory.FoulkesSixth.SourceNewton
- OAI.RepresentationTheory.FoulkesSixth.FastLookup
- OAI.RepresentationTheory.FoulkesSixth.SixCycles
- OAI.RepresentationTheory.FoulkesSixth.CompositionEnumeration
- OAI.RepresentationTheory.FoulkesSixth.FastLookupExact
- OAI.RepresentationTheory.FoulkesSixth.NewtonUniqueness
- OAI.RepresentationTheory.FoulkesSixth.YoungGram
- OAI.RepresentationTheory.FoulkesSixth.Recurrence
- OAI.RepresentationTheory.FoulkesSixth.VanishingSteps
- OAI.RepresentationTheory.FoulkesSixth.Rows
- OAI.RepresentationTheory.FoulkesSixth.IndependentChart
- OAI.RepresentationTheory.FoulkesSixth.Vanishing
- OAI.RepresentationTheory.FoulkesSixth.BlockVanishing
- OAI.RepresentationTheory.FoulkesSixth.QuadraticInjection
- OAI.RepresentationTheory.FoulkesSixth.BlockInjection
- OAI.RepresentationTheory.FoulkesSixth.RangeReduction