OAI/Combinatorics/Ryser/Incidence/
273 declarations, 0 contain sorry, 0 declared as axioms; 38 files
Files
- AllLineCap.lean 4 declarations
- CoordinateTransfer.lean 5 declarations
- CoordinateTransferSet.lean 12 declarations
- DegreeSquares.lean 7 declarations
- DenseNeighborhood.lean 1 declarations
- ExtractedContradiction.lean 2 declarations
- FiniteSetCovering.lean 1 declarations
- FiniteSetEstimates.lean 7 declarations
- FiniteSets.lean 4 declarations
- FourAnchors.lean 2 declarations
- FourAnchorsCounting.lean 14 declarations
- FourAnchorsGeometry.lean 2 declarations
- FourAnchorsLocal.lean 7 declarations
- FourAnchorsNumerics.lean 8 declarations
- GraphParameters.lean 4 declarations
- NoApproximateSubfield.lean 3 declarations
- NoApproximateSubfieldNumerics.lean 3 declarations
- Parameters.lean 21 declarations
- Pencils.lean 7 declarations
- PopularOverlap.lean 6 declarations
- PopularScalars.lean 8 declarations
- PrunedContradiction.lean 1 declarations
- Pruning.lean 4 declarations
- PruningCore.lean 16 declarations
- PruningHigh.lean 5 declarations
- PruningNumerics.lean 9 declarations
- RatioSet.lean 13 declarations
- ScalarCollisionCount.lean 5 declarations
- ScalarCollisions.lean 7 declarations
- ScalarCover.lean 20 declarations
- ScalarCoverExpressions.lean 17 declarations
- ScalarCoverGeometry.lean 6 declarations
- Uniform.lean 4 declarations
- WalkCounts.lean 20 declarations
- WalkExpansion.lean 7 declarations
- WalkExtraction.lean 1 declarations
- WalkQuotients.lean 9 declarations
- WalkTrimming.lean 1 declarations