OAI/Combinatorics/GotsmanLinial/
402 declarations, 0 contain sorry, 0 declared as axioms; 22 files
Files
- BinomialMoments.lean 23 declarations
- BlockCoupling.lean 15 declarations
- BlockVanishing.lean 12 declarations
- Commutator.lean 24 declarations
- CoordinateDegree.lean 4 declarations
- CoordinateMultipliers.lean 41 declarations
- CubeOperators.lean 6 declarations
- EdgeRecovery.lean 9 declarations
- FiniteCoupling.lean 3 declarations
- GradingShift.lean 9 declarations
- HilbertSchmidt.lean 22 declarations
- Main.lean 6 declarations
- Model.lean 11 declarations
- PolynomialDegree.lean 18 declarations
- ProjectionBlocks.lean 46 declarations
- ProjectionTrace.lean 5 declarations
- ScalarIncrements.lean 15 declarations
- SignParity.lean 23 declarations
- Statement.lean 20 declarations
- Walsh.lean 28 declarations
- WalshDimensions.lean 13 declarations
- WeightedGrading.lean 49 declarations