OAI/Combinatorics/MatchingEntropy/
603 declarations, 0 contain sorry, 0 declared as axioms; 35 files
Files
- Basic.lean 9 declarations
- Calculus.lean 10 declarations
- Components.lean 33 declarations
- Continuity.lean 2 declarations
- Contraction.lean 36 declarations
- Counting.lean 9 declarations
- Coupling.lean 17 declarations
- Covariance.lean 13 declarations
- Degenerate.lean 7 declarations
- Duality.lean 13 declarations
- EdgeReduction.lean 26 declarations
- EightVertex.lean 26 declarations
- Entropy.lean 16 declarations
- EntropyUpper.lean 10 declarations
- ExpansionSequences.lean 16 declarations
- Face.lean 22 declarations
- FractionalReduction.lean 48 declarations
- KleeSharpness.lean 29 declarations
- Main.lean 1 import, no declarations
- MatchingCovariance.lean 9 declarations
- MinimalFace.lean 12 declarations
- Model.lean 14 declarations
- OddCuts.lean 24 declarations
- Optimizer.lean 10 declarations
- Pointwise.lean 33 declarations
- Polyhedron.lean 6 declarations
- Polytope.lean 15 declarations
- RefinedVariation.lean 23 declarations
- SeparableBound.lean 2 declarations
- SeparableCovariance.lean 6 declarations
- SeparableVariation.lean 10 declarations
- SharpRank.lean 11 declarations
- Simplex.lean 5 declarations
- TriangleExpansion.lean 79 declarations
- WeightedSpectrum.lean 2 declarations