OAI/Combinatorics/BalancedRyser/Candidates/CandidateExternalTransport.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.CandidateValidityAssembly.externalFailures_witness_cover line 15
2. theorem OAI.Balanced.CandidateValidityAssembly.externalFailures_card_le_witnesses line 25
3. theorem OAI.Balanced.CandidateValidityAssembly.externalFailures_some_tail_le line 30
4. theorem OAI.Balanced.CandidateValidityAssembly.externalFailures_moment_le_witnesses line 39