OAI/Combinatorics/MatchingCount/Graphs/
1768 declarations, 0 contain sorry, 0 declared as axioms; 60 files
Files
- AdaptiveStream.lean 38 declarations
- Admissible.lean 38 declarations
- ArcData.lean 21 declarations
- ColoredEdge.lean 37 declarations
- CompleteGraph.lean 21 declarations
- Cumulative.lean 41 declarations
- Cycle.lean 41 declarations
- Density.lean 52 declarations
- Edge.lean 29 declarations
- Edge2.lean 34 declarations
- EdgeLow.lean 49 declarations
- EnlargementRun.lean 42 declarations
- Evolve.lean 29 declarations
- ExperimentSupport.lean 13 declarations
- FillHoles.lean 12 declarations
- FirstHoleSortedCons.lean 17 declarations
- Height.lean 54 declarations
- HoleBlocks.lean 45 declarations
- HoleStrength.lean 21 declarations
- Incident.lean 39 declarations
- IndexedCycle.lean 43 declarations
- LabelCycle.lean 36 declarations
- LabelOrder.lean 56 declarations
- Marked.lean 59 declarations
- MatchingMap.lean 42 declarations
- Mate.lean 38 declarations
- OnlineGraphInvariant.lean 28 declarations
- Output.lean 18 declarations
- PM.lean 24 declarations
- PathActivity.lean 41 declarations
- PathStrength.lean 20 declarations
- Profile.lean 33 declarations
- PushedFlow.lean 43 declarations
- RatWeight.lean 33 declarations
- RelabelMore.lean 4 declarations
- Related.lean 52 declarations
- Related2.lean 66 declarations
- RemainingBags.lean 42 declarations
- RowPeak.lean 36 declarations
- SafeSwitch.lean 23 declarations
- SafeTrace.lean 8 declarations
- Sets.lean 38 declarations
- SumLiftMate.lean 43 declarations
- ThresholdGraph.lean 31 declarations
- TreeBagBuild.lean 16 declarations
- TreeBagCorrect.lean 4 declarations
- TreeBagTable.lean 18 declarations
- TreeBags.lean 9 declarations
- TreeCycleTable.lean 14 declarations
- TreeGeometry.lean 41 declarations
- TreeHeight.lean 13 declarations
- TreeHierarchyReindex.lean 13 declarations
- TreeHierarchyRoot.lean 13 declarations
- TreeInitialMatching.lean 6 declarations
- TreeMatchingCheck.lean 5 declarations
- TreeProfile.lean 12 declarations
- TreeRankPlan.lean 17 declarations
- TreeSwitchRaw.lean 14 declarations
- TreeSwitchValid.lean 5 declarations
- Vertex.lean 38 declarations