OAI/Combinatorics/BalancedRyser/Selection/SelectionFirstAbortFinal.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Balanced.Selection.Process.FirstAbort.sourceTailCheck_of_stateConcentration line 16
2. theorem OAI.Balanced.Selection.Process.FirstAbort.ae_sourceTailCheck_of_concentration line 45
3. theorem OAI.Balanced.Selection.Process.FirstAbort.terminal_failure_probability_le line 67
4. theorem OAI.Balanced.Selection.Process.FirstAbort.exists_terminal_threshold line 97