OAI/Combinatorics/BalancedRyser/Selection/SelectionUniformAssembly.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Balanced.Selection.Process.UniformSuccessEstimate line 14
2. def OAI.Balanced.Selection.Process.UniformOccupancyEstimate line 19
3. theorem OAI.Balanced.Selection.Process.UniformSuccessEstimate.mono line 28
4. theorem OAI.Balanced.Selection.Process.UniformOccupancyEstimate.mono line 34
5. theorem OAI.Balanced.Selection.Process.combined_error_tendsto_zero line 40
6. theorem OAI.Balanced.Selection.Process.selectionStatement_of_uniform_output_bounds line 45