`OAI/Combinatorics/Chromatic/Shuffle/`

2082 declarations, 0 contain sorry, 0 declared as axioms; 151 files

Files

AllPairDiagonal.lean 6 declarations
BothTaylorB.lean 18 declarations
CanonicalCard.lean 16 declarations
CellLeadingSum.lean 11 declarations
CellSeparation.lean 16 declarations
CellTransferSeparation.lean 9 declarations
CellVars.lean 22 declarations
Centers.lean 13 declarations
ClearedSeparationB.lean 6 declarations
ClearingKernel.lean 4 declarations
ColumnTaylor.lean 7 declarations
ComponentB.lean 20 declarations
CoproductIteration.lean 4 declarations
CrossCancellation.lean 1 declarations
CrossDifference.lean 17 declarations
CrossKernelExplicit.lean 9 declarations
CrossPolynomiality.lean 8 declarations
CrossScalar.lean 8 declarations
Cut.lean 33 declarations
CutoffGrid.lean 17 declarations
Degree.lean 15 declarations
DegreeIdeals.lean 10 declarations
Diagonal.lean 40 declarations
DimensionColumnLeading.lean 10 declarations
DimensionEquivBTrans.lean 3 declarations
DimensionEquivS.lean 17 declarations
DimensionGrid.lean 21 declarations
EulerForm.lean 17 declarations
ExtendPolynomial.lean 13 declarations
FourAffineKernel.lean 8 declarations
FourBraiding.lean 15 declarations
FourColumns.lean 23 declarations
FourKernelCancellation.lean 3 declarations
FourTensorKernel.lean 33 declarations
GeometricRootClosure.lean 5 declarations
GlobalConvolutionQuotient.lean 9 declarations
GlobalConvolutionSeries.lean 21 declarations
GlobalCoproductCoassociative.lean 23 declarations
GlobalCoproductCocommutative.lean 12 declarations
GlobalCoproductIteration.lean 8 declarations
GlobalCoproductUnits.lean 12 declarations
GlobalHilbertGrading.lean 17 declarations
GlobalLocalPrimitives.lean 26 declarations
GlobalPBWBasis.lean 19 declarations
GlobalPBWIndependent.lean 19 declarations
GlobalPrimitiveBracket.lean 25 declarations
GlobalPrimitiveGeneration.lean 15 declarations
GlobalPrimitiveLog.lean 9 declarations
GlobalPrimitiveStrings.lean 20 declarations
GlobalSeriesEvaluation.lean 12 declarations
GlobalShuffleCoalgebra.lean 15 declarations
GlobalTensorDetection.lean 11 declarations
GlobalTensorGradeProduct.lean 13 declarations
GlobalTensorInduction.lean 12 declarations
GlobalTripleGradeInclusion.lean 23 declarations
GlobalWordDetection.lean 14 declarations
GlobalWordPairing.lean 13 declarations
GradeBInternal.lean 7 declarations
GradedCoproduct.lean 15 declarations
GradedShuffle.lean 2 declarations
GridQuotient.lean 12 declarations
GridShapeFiltration.lean 6 declarations
GridShapeTensor.lean 7 declarations
HNDetectorBasics.lean 24 declarations
HNDiagonal.lean 11 declarations
HNDiagonalConstant.lean 5 declarations
HNExpansion.lean 22 declarations
HNHilbert.lean 5 declarations
HNHomogeneousBasis.lean 13 declarations
HNIndependent.lean 17 declarations
HNPolynomial.lean 7 declarations
HNSlope.lean 20 declarations
HNThreshold.lean 23 declarations
HNZeroFactor.lean 9 declarations
HNZeroRows.lean 17 declarations
InfinityLaurentFinite.lean 3 declarations
InputOrderedEnergy.lean 6 declarations
InputProduct.lean 17 declarations
InputTorusEnergy.lean 15 declarations
Interaction.lean 22 declarations
LabeledPolynomial.lean 31 declarations
LaurentIdealCoefficients.lean 3 declarations
LaurentKernel.lean 14 declarations
LaurentLeading.lean 1 declarations
LeadingIndex.lean 7 declarations
ManyBlockDiagonal.lean 22 declarations
ManyBlockPolynomiality.lean 12 declarations
NormalizedTensorSymbol.lean 10 declarations
NormalizedTripleSymbol.lean 10 declarations
OriginalDegree.lean 15 declarations
PackExponentSorting.lean 11 declarations
PackOrbitBasis.lean 11 declarations
PackSplit.lean 25 declarations
PointEvaluation.lean 23 declarations
PolynomialExtendInjective.lean 10 declarations
PrimitiveBlockRows.lean 29 declarations
PrimitiveOperators.lean 10 declarations
PrimitiveRootClosure.lean 2 declarations
PrimitiveSpace.lean 3 declarations
PrimitiveStringBounds.lean 18 declarations
PrimitiveUnitRows.lean 23 declarations
QuantumTorusTrace.lean 2 declarations
QuotientAlg.lean 25 declarations
RawGradedAlgebra.lean 28 declarations
Realization.lean 33 declarations
Regroup.lean 10 declarations
RenameFraction.lean 10 declarations
RestrictSplit.lean 2 declarations
Restriction.lean 21 declarations
RestrictionB.lean 22 declarations
RestrictionBGraded.lean 1 declarations
RestrictionTestHomogeneity.lean 13 declarations
ReynoldsS.lean 15 declarations
SameDen.lean 26 declarations
SeparationCoefficients.lean 8 declarations
SeparationHomogeneity.lean 11 declarations
ShuffleProjection.lean 9 declarations
ShuffleUnits.lean 17 declarations
SignedCoproductGridGrade.lean 13 declarations
SignedTensorGradeProduct.lean 19 declarations
SlopeGridSum.lean 9 declarations
Split.lean 17 declarations
SumPackCut.lean 22 declarations
SymbolDetection.lean 12 declarations
SymbolInternalWeight.lean 6 declarations
SymbolSwap.lean 14 declarations
SymmetricSpace.lean 45 declarations
TargetEmbedding.lean 16 declarations
TaylorSCoeffHomogeneous.lean 15 declarations
TensorColumnNaturality.lean 14 declarations
TensorColumnSeriesFiltration.lean 7 declarations
TensorDivisibility.lean 9 declarations
TensorFiltration.lean 12 declarations
TensorMiddleEnd.lean 12 declarations
TensorPolynomialAssoc.lean 1 declarations
TensorPolynomialBox.lean 7 declarations
TensorSymbolSwap.lean 10 declarations
TripleAssociativity.lean 6 declarations
TripleFiltration.lean 7 declarations
TwoTargetFiltration.lean 9 declarations
UnitalCoproductCoassociative.lean 7 declarations
UnitalCoproductComparison.lean 4 declarations
UnitalCoproductUnits.lean 14 declarations
UnitalFiltration.lean 16 declarations
UnitalGrade.lean 12 declarations
UnitalGradeAlgebra.lean 25 declarations
UnitalGradeCoproductUnits.lean 14 declarations
UnitalOriginalDegree.lean 24 declarations
UnitalShuffleCoproduct.lean 6 declarations
UnitalTensorGradeInclusion.lean 6 declarations
VariableMean.lean 18 declarations