OAI/Combinatorics/IndependentSets/Expansion/
1472 declarations, 0 contain sorry, 0 declared as axioms; 66 files
Files
- Capped.lean 24 declarations
- CayleySpectral.lean 26 declarations
- CayleyTailCount.lean 24 declarations
- CloudRounding.lean 15 declarations
- DegreeReplacement.lean 33 declarations
- ExpanderFamily.lean 31 declarations
- ExpanderRowControl.lean 34 declarations
- ExpanderTableEnumeration.lean 31 declarations
- ExpanderTableWords.lean 14 declarations
- ExpanderTables.lean 28 declarations
- Expanders.lean 21 declarations
- Finite.lean 27 declarations
- Finite2.lean 46 declarations
- GraphRounding.lean 16 declarations
- Indicators.lean 12 declarations
- LazySmoothing.lean 27 declarations
- LazySpectral.lean 37 declarations
- Overlay.lean 22 declarations
- PortTableLookup.lean 10 declarations
- PortTables.lean 31 declarations
- PoweringDecoding.lean 20 declarations
- PoweringEnumeration.lean 39 declarations
- PoweringFieldPlan.lean 20 declarations
- PoweringGap.lean 12 declarations
- PoweringGlobalConfiguration.lean 16 declarations
- PoweringInitializeFrame.lean 19 declarations
- PoweringLabels.lean 27 declarations
- PoweringLazy.lean 23 declarations
- PoweringNumeric.lean 10 declarations
- PoweringOpinionTables.lean 24 declarations
- PoweringOpinions.lean 25 declarations
- PoweringPlanBudget.lean 17 declarations
- PoweringPolynomialBudget.lean 18 declarations
- PoweringPortReindex.lean 27 declarations
- PoweringReturn.lean 17 declarations
- PoweringRowData.lean 41 declarations
- PoweringTableLayout.lean 19 declarations
- PoweringTableSemantics.lean 17 declarations
- PoweringTables.lean 25 declarations
- PoweringTest.lean 21 declarations
- PoweringWalks.lean 36 declarations
- PoweringWitness.lean 10 declarations
- PreprocessingFamilyBridge.lean 7 declarations
- PreprocessingInternalRows.lean 25 declarations
- PreprocessingLazyWords.lean 22 declarations
- PreprocessingLevels.lean 24 declarations
- PreprocessingOverlayTables.lean 24 declarations
- PreprocessingOverlayWords.lean 21 declarations
- PreprocessingPaddingOffsets.lean 8 declarations
- PreprocessingPaddingTables.lean 35 declarations
- PreprocessingPaddingWords.lean 16 declarations
- PreprocessingRegularBounds.lean 15 declarations
- PreprocessingRegularLoopWords.lean 9 declarations
- PreprocessingRegularTables.lean 43 declarations
- PreprocessingRegularWords.lean 25 declarations
- PreprocessingStageMaps.lean 7 declarations
- PreprocessingTableSpectral.lean 19 declarations
- PreprocessingTables.lean 34 declarations
- Profiles.lean 15 declarations
- Regularization.lean 26 declarations
- RoundComputation.lean 9 declarations
- Row.lean 7 declarations
- SpectralReturn.lean 33 declarations
- Supported.lean 16 declarations
- Supported2.lean 11 declarations
- ZigzagSpectral.lean 29 declarations