OAI/Combinatorics/Hamiltonian/
697 declarations, 0 contain sorry, 0 declared as axioms; 31 files
Files
- BMatching.lean 21 declarations
- Bonds.lean 21 declarations
- BranchPartition.lean 3 declarations
- CappedDuality.lean 11 declarations
- Circulation.lean 14 declarations
- ColoredDual.lean 22 declarations
- Contraction.lean 41 declarations
- Corridors.lean 6 declarations
- CutSpaces.lean 19 declarations
- CycleReversal.lean 19 declarations
- DiskRegions.lean 20 declarations
- ExactDual.lean 8 declarations
- FlowCircuits.lean 28 declarations
- Forest.lean 21 declarations
- ForestMatching.lean 18 declarations
- Gluing.lean 16 declarations
- Main.lean 3 declarations
- Matching.lean 40 declarations
- MinorDuality.lean 15 declarations
- MinorModel.lean 30 declarations
- Model.lean 5 declarations
- Network.lean 27 declarations
- PairPhases.lean 58 declarations
- PairPolynomials.lean 40 declarations
- Quotients.lean 22 declarations
- Rectangle.lean 35 declarations
- SquareGrid.lean 16 declarations
- StateDisk.lean 20 declarations
- ThreeCuts.lean 31 declarations
- Traces.lean 32 declarations
- TriangleSystem.lean 35 declarations