OAI/Probability/SKBarriers/Dynamics/GridThreshold.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SK.Analytic.FiniteLaw.uniformFin line 15
2. theorem OAI.SK.Analytic.FiniteLaw.uniformFin_prob line 22
3. theorem OAI.SK.Analytic.FiniteLaw.markov line 28
4. def OAI.SK.Analytic.thresholdGrid line 38
5. theorem OAI.SK.Analytic.thresholdGrid_mem line 40
6. theorem OAI.SK.Analytic.thresholdGrid_count line 51
7. theorem OAI.SK.Analytic.thresholdGrid_window line 89
8. theorem OAI.SK.Analytic.thresholdGrid_mass_expect line 98