OAI/Combinatorics/HadwigerMatching/
38 declarations, 0 contain sorry, 0 declared as axioms; 10 files
Files
- BasicMatching.lean 6 declarations
- BranchCounting.lean 6 declarations
- BranchGeometry.lean 3 declarations
- ChromaticBound.lean 3 declarations
- Definitions.lean 2 declarations
- FinitePairing.lean 1 declarations
- Main.lean 1 declarations
- MinorBound.lean 3 declarations
- PairingExtension.lean 1 declarations
- SmallBranches.lean 12 declarations