OAI/Combinatorics/BalancedRyser/Construction/
238 declarations, 0 contain sorry, 0 declared as axioms; 23 files
Files
- BlockPartitions.lean 21 declarations
- ConfigurationHypergraph.lean 10 declarations
- ConfigurationHypergraphSemantics.lean 5 declarations
- ConfigurationRealization.lean 7 declarations
- ConfigurationRealizationBridge.lean 3 declarations
- Construction.lean 40 declarations
- ConstructionBlockCardinality.lean 12 declarations
- ConstructionPartners.lean 10 declarations
- ConstructionRepresentationLemmas.lean 3 declarations
- ConstructionStructure.lean 8 declarations
- CoverObstruction.lean 16 declarations
- DeterministicReduction.lean 1 declarations
- DeterministicReductionReview.lean 2 declarations
- ExternalWitnessPartition.lean 9 declarations
- Hypergraph.lean 23 declarations
- HypergraphSemantics.lean 15 declarations
- LocalCoverObstruction.lean 8 declarations
- ParallelCoverObstruction.lean 3 declarations
- PartitionEncoding.lean 8 declarations
- PartitionHypergraph.lean 9 declarations
- RootChildPartition.lean 9 declarations
- TwoSplitCoverObstruction.lean 3 declarations
- ValidChoice.lean 13 declarations