OAI/Combinatorics/BalancedRyser/Candidates/CandidateLineGate.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.CandidateLineGate.not_mem_constituentLines_iff line 15
2. theorem OAI.Balanced.CandidateLineGate.exposed_constituents_avoid line 30
3. theorem OAI.Balanced.CandidateLineGate.not_mem_iff_of_direction_agreement line 38
4. theorem OAI.Balanced.CandidateLineGate.not_mem_iff_on_exposed_support line 43
5. theorem OAI.Balanced.CandidateLineGate.conditionalProbability_gate line 52
6. theorem OAI.Balanced.CandidateLineGate.not_mem_fixArray_iff line 79
7. theorem OAI.Balanced.CandidateLineGate.gated_count_fixArray line 88