OAI/Probability/SKRatio/FiniteChain/RatioProbabilityUniformBounds.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SKRatio.ratio_probability_zero_of_uniform_bounds line 18