OAI/Probability/SKRatio/Dynamics/ClockTransfer.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.SKRatio.Calculus.median_attempts_diverge_of_log_lower line 14
2. lemma OAI.SKRatio.Calculus.upper_median_clock_diverges line 27
3. lemma OAI.SKRatio.Calculus.upper_clock_shifted_time line 42
4. lemma OAI.SKRatio.Calculus.uniform_upper_clock_shift line 77
5. theorem OAI.SKRatio.Calculus.uniform_discrete_upper_of_holding line 93