OAI/Combinatorics/BalancedRyser/Candidates/CandidateLabelBridge.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.CandidateExposure.not_disjoint_generatorSet_iff line 16
2. theorem OAI.Balanced.CandidateExposure.rootOverlapCount_empty_eq_overlappingTupleCount line 27
3. theorem OAI.Balanced.CandidateExposure.rootPatternModel_allExposed_overlapCount line 52
4. theorem OAI.Balanced.CandidateExposure.rootPatternModel_fixed_count_le line 60
5. theorem OAI.Balanced.CandidateExposure.rootPatternModel_fixed_allExposed_overlapCount_le line 68