OAI/Combinatorics/InfiniteMatroid/
421 declarations, 0 contain sorry, 0 declared as axioms; 33 files
Files
- Basic.lean 5 declarations
- BasisExtension.lean 23 declarations
- BlockDensity.lean 78 declarations
- Cardinality.lean 11 declarations
- Cesaro.lean 2 declarations
- Columns.lean 17 declarations
- Corollaries.lean 1 declarations
- CorollaryModel.lean 7 declarations
- CoveringReduction.lean 2 declarations
- DensityIdeal.lean 19 declarations
- DoubleRay.lean 20 declarations
- FiniteCounting.lean 4 declarations
- Ideals.lean 13 declarations
- Interpolation.lean 31 declarations
- IntersectionReduction.lean 1 declarations
- LocalBases.lean 11 declarations
- Main.lean 1 declarations
- Matroid.lean 14 declarations
- OrdinalRank.lean 12 declarations
- PackingCovering.lean 4 declarations
- PairDuality.lean 2 declarations
- Partitional.lean 3 declarations
- ProbeLimits.lean 12 declarations
- Prototype.lean 22 declarations
- PrototypeExtension.lean 10 declarations
- RankDescent.lean 9 declarations
- Reservations.lean 14 declarations
- SeparateCounterexamples.lean 1 declarations
- Separation.lean 1 declarations
- SparsePerturbation.lean 6 declarations
- TransfiniteConstruction.lean 22 declarations
- Waves.lean 9 declarations
- Zones.lean 34 declarations