OAI/Combinatorics/ThinTrees/
3528 declarations, 0 contain sorry, 0 declared as axioms; 183 files
Folders
- Arithmetic/ 7 files, 91 declarations
- Continuation/ 27 files, 510 declarations
- Encoding/ 14 files, 423 declarations
- Flow/ 7 files, 62 declarations
- Metric/ 16 files, 440 declarations
- Normalization/ 5 files, 128 declarations
- Pencil/ 10 files, 322 declarations
- RationalMatrix/ 6 files, 100 declarations
- Signing/ 7 files, 151 declarations
- Sparsification/ 11 files, 207 declarations
Files
- Affine.lean 4 declarations
- AlgorithmicMain.lean 5 imports, no declarations
- AssignedFamilies.lean 24 declarations
- Assignment.lean 19 declarations
- BagBounds.lean 26 declarations
- BagConstruction.lean 19 declarations
- BagGeometry.lean 5 declarations
- Barrier.lean 30 declarations
- BasePacking.lean 73 declarations
- Blocks.lean 9 declarations
- Capture.lean 13 declarations
- ChainEdges.lean 12 declarations
- Characteristic.lean 6 declarations
- Coarea.lean 27 declarations
- CompactPacking.lean 23 declarations
- Density.lean 12 declarations
- DeterminantCalculus.lean 15 declarations
- Duality.lean 62 declarations
- DyadicSelection.lean 6 declarations
- Expectation.lean 6 declarations
- Extraction.lean 1 declarations
- ExtractionBounds.lean 7 declarations
- ExtractionCriterion.lean 4 declarations
- ExtractionLimit.lean 5 declarations
- FiniteSelection.lean 5 declarations
- FixedPoint.lean 70 declarations
- GraphMatrix.lean 20 declarations
- Hierarchy.lean 17 declarations
- HierarchyBounds.lean 34 declarations
- HierarchyBuilder.lean 14 declarations
- HierarchyResponse.lean 5 declarations
- IndependentVectors.lean 3 declarations
- Interlacing.lean 13 declarations
- Iteration.lean 2 declarations
- IterationBounds.lean 11 declarations
- Main.lean 2 declarations
- Matrix.lean 5 declarations
- MatrixDomain.lean 14 declarations
- MatrixMixture.lean 3 declarations
- MixedPolynomial.lean 10 declarations
- Model.lean 6 declarations
- Monicity.lean 2 declarations
- Normalization.lean 4 declarations
- OptionalDirections.lean 12 declarations
- Padding.lean 4 declarations
- PartialFractions.lean 22 declarations
- PartitionHierarchy.lean 5 declarations
- PartitionRank.lean 50 declarations
- Partitions.lean 29 declarations
- Phases.lean 4 declarations
- RankOne.lean 6 declarations
- RealRoots.lean 6 declarations
- Records.lean 31 declarations
- Representation.lean 41 declarations
- ResponseBounds.lean 6 declarations
- ResponseFixedPoint.lean 1 declarations
- Restriction.lean 13 declarations
- RootBound.lean 16 declarations
- Selection.lean 22 declarations
- Shells.lean 48 declarations
- ShortcutDuality.lean 14 declarations
- SimultaneousResponse.lean 1 declarations
- Sparsification.lean 1 declarations
- SparsifyGeometry.lean 2 declarations
- SpectralPacking.lean 35 declarations
- SpectralSplit.lean 1 declarations
- Stability.lean 21 declarations
- StepBounds.lean 11 declarations
- Subisotropic.lean 1 declarations
- ThresholdChain.lean 11 declarations
- Translation.lean 13 declarations
- Truncation.lean 16 declarations
- TwoSystems.lean 3 declarations