OAI/Combinatorics/IndependentSets/Reduction/
802 declarations, 0 contain sorry, 0 declared as axioms; 52 files
Files
- ArbitraryRealJunta.lean 23 declarations
- AuxiliaryJointMeasurable.lean 13 declarations
- Bits.lean 14 declarations
- CellLaw.lean 18 declarations
- Circle.lean 16 declarations
- CircleCost.lean 17 declarations
- ClampCube.lean 6 declarations
- Cube.lean 24 declarations
- DeletedProjection.lean 9 declarations
- DiscreteBoundAuxiliary.lean 4 declarations
- DyadicPrecision.lean 4 declarations
- EnumerationSimple.lean 13 declarations
- ExtendPartialIso.lean 2 declarations
- ExtensionLaw.lean 22 declarations
- FiniteNoise.lean 7 declarations
- FiniteParameterSelection.lean 5 declarations
- FiniteScan.lean 48 declarations
- FloydLoop.lean 59 declarations
- FrameNonempty.lean 22 declarations
- Full.lean 3 declarations
- FullAbsorptionSquare.lean 12 declarations
- GraphReduction.lean 2 declarations
- Heavy.lean 17 declarations
- IndexedBlocks.lean 1 declarations
- InfluenceSqParamMeasurable.lean 11 declarations
- IntegerEdgeTest.lean 1 declarations
- Law.lean 3 declarations
- ListIndex.lean 34 declarations
- MapEquiv.lean 17 declarations
- Mix.lean 30 declarations
- Mixed.lean 25 declarations
- OccurrenceTuple.lean 14 declarations
- PairEnergy.lean 6 declarations
- Parameters.lean 12 declarations
- RestrictionLawBad.lean 2 declarations
- RowBitsEquiv.lean 11 declarations
- SamplerParameters.lean 15 declarations
- Simple.lean 13 declarations
- SimplexLaw.lean 3 declarations
- SliceDifferenceVariation.lean 2 declarations
- Small.lean 17 declarations
- SquareNorm.lean 16 declarations
- StoredFloyd.lean 28 declarations
- SubchainBase.lean 5 declarations
- SubchainView.lean 18 declarations
- SwapCoords.lean 9 declarations
- SwapOccurrence.lean 11 declarations
- TargetRead.lean 38 declarations
- ThresholdDecidable.lean 15 declarations
- Total.lean 22 declarations
- UniformLaw.lean 11 declarations
- WalkLength.lean 52 declarations