OAI/RepresentationTheory/FoulkesHowe/
440 declarations, 0 contain sorry, 0 declared as axioms; 77 files
Files
- Actions.lean 13 declarations
- AlgebraEvaluation.lean 2 declarations
- Annihilator.lean 1 declarations
- BackwardCancellation.lean 2 declarations
- BinaryFactorization.lean 4 declarations
- BinaryVanishing.lean 1 declarations
- BlockDerivation.lean 8 declarations
- BlockInjectivity.lean 2 declarations
- BlockWeight.lean 17 declarations
- CanonicalMap.lean 5 declarations
- DegreeOne.lean 9 declarations
- DerivationInjectivity.lean 1 declarations
- DiagonalCoefficient.lean 7 declarations
- DiagonalPolarization.lean 2 declarations
- DualComparison.lean 5 declarations
- DualEmbedding.lean 7 declarations
- DualEquivalence.lean 5 declarations
- EncodedCancellation.lean 1 declarations
- EncodingHomogeneous.lean 3 declarations
- FiniteDimension.lean 1 declarations
- FirstCounts.lean 15 declarations
- FirstLabels.lean 5 declarations
- FirstPolynomial.lean 2 declarations
- FirstTransfer.lean 3 declarations
- FixedSlot.lean 8 declarations
- FlattenedForm.lean 13 declarations
- FlattenedSwap.lean 2 declarations
- FoulkesDiagonal.lean 2 declarations
- FoulkesMultilinear.lean 7 declarations
- FoulkesSymmetries.lean 3 declarations
- Functoriality.lean 18 declarations
- GeneratorLift.lean 1 declarations
- GridCancellation.lean 1 declarations
- LinearCase.lean 4 declarations
- Model.lean 10 declarations
- MonomialCut.lean 4 declarations
- MonomialMultilinear.lean 12 declarations
- MultilinearDescent.lean 3 declarations
- MultilinearPolynomial.lean 8 declarations
- Multiplication.lean 12 declarations
- Naturality.lean 8 declarations
- PairingConstruction.lean 15 declarations
- PairingLift.lean 1 declarations
- PairingPerfection.lean 2 declarations
- PermanentPairing.lean 15 declarations
- PlethysmDual.lean 6 declarations
- Polarization.lean 1 declarations
- PolynomialShift.lean 8 declarations
- PowerSpan.lean 3 declarations
- ProductVanishing.lean 1 declarations
- RowSwap.lean 3 declarations
- SecondCounts.lean 9 declarations
- SecondEndpoints.lean 5 declarations
- SecondLabels.lean 5 declarations
- SecondSwap.lean 3 declarations
- SecondTransfer.lean 3 declarations
- ShiftHomogeneity.lean 12 declarations
- ShiftInjectivity.lean 3 declarations
- ShiftNilpotence.lean 5 declarations
- ShiftSequence.lean 2 declarations
- SlotDerivative.lean 7 declarations
- Spanning.lean 7 declarations
- SpanningAgreement.lean 3 declarations
- Stabilization.lean 5 declarations
- StabilizationBounds.lean 5 declarations
- SumShift.lean 19 declarations
- Surjectivity.lean 1 declarations
- SymmetricDual.lean 1 declarations
- SymmetricLift.lean 15 declarations
- SymmetricPairing.lean 6 declarations
- TensorPresentation.lean 8 declarations
- TransferDerivative.lean 5 declarations
- TransferEndpoints.lean 11 declarations
- Vanishing.lean 1 declarations
- VanishingFirst.lean 2 declarations
- VanishingInduction.lean 4 declarations
- VanishingOne.lean 1 declarations