OAI/Combinatorics/PerfectMatching/
545 declarations, 0 contain sorry, 0 declared as axioms; 39 files
Files
- AlgorithmPartition.lean 11 declarations
- Ascent.lean 19 declarations
- Basic.lean 14 declarations
- Calculus.lean 18 declarations
- CompletePairs.lean 8 declarations
- Completion.lean 31 declarations
- Continuity.lean 3 declarations
- Contraction.lean 36 declarations
- CountCorrect.lean 3 declarations
- Coupling.lean 17 declarations
- Covariance.lean 15 declarations
- Duality.lean 10 declarations
- DyadicEntropy.lean 18 declarations
- DyadicEnvelope.lean 25 declarations
- ElementaryCount.lean 7 declarations
- Entropy.lean 18 declarations
- EntropyUpper.lean 10 declarations
- Face.lean 22 declarations
- FeasibilityRepair.lean 14 declarations
- ForcedReduction.lean 26 declarations
- Main.lean 5 declarations
- MatchingCovariance.lean 12 declarations
- Model.lean 14 declarations
- ObjectivePenalty.lean 21 declarations
- OddCuts.lean 24 declarations
- Optimizer.lean 10 declarations
- ParameterBounds.lean 17 declarations
- Partition.lean 16 declarations
- Polyhedron.lean 6 declarations
- Polytope.lean 15 declarations
- SecondVariation.lean 4 declarations
- Separable.lean 10 declarations
- SeparableCount.lean 9 declarations
- SeparableCovariance.lean 6 declarations
- SeparableLower.lean 2 declarations
- Simplex.lean 6 declarations
- SizeBounds.lean 13 declarations
- Violation.lean 28 declarations
- WeightedSpectrum.lean 2 declarations