OAI/RepresentationTheory/FoulkesSixth/
553 declarations, 0 contain sorry, 0 declared as axioms; 41 files
Files
- AlternantExpansion.lean 8 declarations
- BlockInjection.lean 4 declarations
- BlockVanishing.lean 2 declarations
- Collision.lean 8 declarations
- ColorOrbits.lean 18 declarations
- CompleteNewton.lean 13 declarations
- CompositionEnumeration.lean 6 declarations
- Diagonal.lean 6 declarations
- Differential.lean 23 declarations
- FastLookup.lean 14 declarations
- FastLookupExact.lean 4 declarations
- GenericShift.lean 21 declarations
- HomogeneousPlethysm.lean 17 declarations
- IndependentChart.lean 57 declarations
- InvariantPolarization.lean 23 declarations
- Lookup.lean 18 declarations
- LookupExtraction.lean 9 declarations
- Main.lean 40 imports, no declarations
- NewtonUniqueness.lean 4 declarations
- PlethDual.lean 5 declarations
- PolynomialSpan.lean 17 declarations
- QuadraticInjection.lean 35 declarations
- RangeReduction.lean 16 declarations
- Recurrence.lean 8 declarations
- Rows.lean 18 declarations
- SemisimpleBridge.lean 15 declarations
- SignedStrips.lean 7 declarations
- SixCycles.lean 3 declarations
- SourceNewton.lean 5 declarations
- StripCoefficient.lean 13 declarations
- StripInterlace.lean 4 declarations
- StripSupport.lean 6 declarations
- SymDual.lean 12 declarations
- SymOperations.lean 11 declarations
- SymPolynomial.lean 14 declarations
- SymTensors.lean 22 declarations
- TensorPolarization.lean 16 declarations
- Vanishing.lean 22 declarations
- VanishingSteps.lean 35 declarations
- YoungGram.lean 4 declarations
- YoungModules.lean 10 declarations