Catalog/Sparsity.lean
| 1 | import Catalog.Sparsity.AdmBoundByTopGrad.Full |
| 2 | import Catalog.Sparsity.Admissibility.Full |
| 3 | import Catalog.Sparsity.BipartiteRamsey.Full |
| 4 | import Catalog.Sparsity.ChernoffBound.Full |
| 5 | import Catalog.Sparsity.ColoringNumberEquivalence.Full |
| 6 | import Catalog.Sparsity.ColoringNumberOrdering.Full |
| 7 | import Catalog.Sparsity.ColoringNumbers.Full |
| 8 | import Catalog.Sparsity.Densification.Full |
| 9 | import Catalog.Sparsity.EvenStepReduction.Full |
| 10 | import Catalog.Sparsity.IterativeBipartiteRamsey.Full |
| 11 | import Catalog.Sparsity.MulticolorRamsey.Full |
| 12 | import Catalog.Sparsity.NDImpliesUQW.Full |
| 13 | import Catalog.Sparsity.NDSubpolynomialDensity.Full |
| 14 | import Catalog.Sparsity.NDSubpolynomialWcol.Full |
| 15 | import Catalog.Sparsity.NowhereDense.Full |
| 16 | import Catalog.Sparsity.OddStepReduction.Full |
| 17 | import Catalog.Sparsity.Preliminaries.Full |
| 18 | import Catalog.Sparsity.Ramsey.Full |
| 19 | import Catalog.Sparsity.ShallowMinor.Full |
| 20 | import Catalog.Sparsity.ShallowMinorComposition.Full |
| 21 | import Catalog.Sparsity.ShallowTopologicalMinor.Full |
| 22 | import Catalog.Sparsity.StrongColoringBoundByAdm.Full |
| 23 | import Catalog.Sparsity.UniformQuasiWideness.Full |
| 24 | import Catalog.Sparsity.UQWEquivND.Full |
| 25 | import Catalog.Sparsity.UQWImpliesND.Full |
| 26 |