OAI/Combinatorics/SecondNeighborhood/
345 declarations, 0 contain sorry, 0 declared as axioms; 43 files
Files
- AugmentedGraph.lean 27 declarations
- AugmentedMatching.lean 5 declarations
- AugmentedRankBound.lean 1 declarations
- Basic.lean 24 declarations
- CompositeRankBound.lean 3 declarations
- CoverPruning.lean 2 declarations
- Deletion.lean 5 declarations
- ExtremalCompatibility.lean 25 declarations
- ExtremalContradiction.lean 2 declarations
- ExtremalCounting.lean 6 declarations
- ExtremalImages.lean 13 declarations
- GenericRank.lean 12 declarations
- GenericRankCoefficients.lean 7 declarations
- GenericRankColumns.lean 4 declarations
- GenericRankFamily.lean 3 declarations
- GenericRankGlobalMinors.lean 10 declarations
- GenericRankMatching.lean 6 declarations
- GenericRankSelection.lean 3 declarations
- GenericRankSupport.lean 2 declarations
- KernelBasisLifts.lean 13 declarations
- KernelConflict.lean 3 declarations
- KernelIndependence.lean 5 declarations
- KernelRestriction.lean 11 declarations
- Main.lean 1 declarations
- Matching.lean 17 declarations
- MatchingAugmented.lean 12 declarations
- MatchingCover.lean 4 declarations
- MatchingExchange.lean 4 declarations
- MatrixMaps.lean 10 declarations
- MatrixMapsCommute.lean 4 declarations
- MatrixMapsPolynomial.lean 7 declarations
- MaxSupportKernel.lean 4 declarations
- MinimalCounterexample.lean 11 declarations
- Model.lean 4 declarations
- Pruning.lean 1 declarations
- PruningDefinitions.lean 36 declarations
- RankBoundFromMinors.lean 1 declarations
- Reduction.lean 1 declarations
- ReductionCore.lean 11 declarations
- Reindex.lean 11 declarations
- SubsetAugmentation.lean 1 declarations
- SubsetDeficit.lean 2 declarations
- TransitiveBlowup.lean 11 declarations