OAI/Combinatorics/Ryser/Selection/
260 declarations, 0 contain sorry, 0 declared as axioms; 36 files
Files
- AnalyticalLimits.lean 3 declarations
- CertificateBounds.lean 7 declarations
- CertificateCount.lean 5 declarations
- CertificateUnion.lean 7 declarations
- Chunk.lean 29 declarations
- ChunkConditioning.lean 4 declarations
- ChunkDensity.lean 4 declarations
- ChunkEnergy.lean 3 declarations
- ChunkLoss.lean 15 declarations
- ChunkPartition.lean 20 declarations
- ChunkPartitionBounds.lean 5 declarations
- ChunkTail.lean 10 declarations
- ChunkTailAsymptotics.lean 5 declarations
- Definitions.lean 21 declarations
- DensityConstants.lean 13 declarations
- Estimates.lean 7 declarations
- FeasibleDensity.lean 9 declarations
- Forbidden.lean 7 declarations
- IndependentTail.lean 3 declarations
- KChoice.lean 3 declarations
- LargeCertificates.lean 3 declarations
- LayerBounds.lean 3 declarations
- LayerNormalization.lean 2 declarations
- Main.lean 1 declarations
- NumericLimits.lean 6 declarations
- Parameters.lean 12 declarations
- PoolCounts.lean 13 declarations
- PoolGraph.lean 9 declarations
- PoolLaw.lean 12 declarations
- Quantitative.lean 2 declarations
- RegularTail.lean 4 declarations
- SmallCertificates.lean 4 declarations
- SmallRange.lean 1 declarations
- SmallSum.lean 5 declarations
- UniformDensity.lean 1 declarations
- UnusedProduct.lean 2 declarations