OAI/Probability/SKBarriers/Coverage/CoverageSchedule.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SK.Analytic.gibbs_prob_eq_finiteMass line 15
2. theorem OAI.SK.Analytic.gibbs_coverage_predicate line 20
3. def OAI.SK.Analytic.coveragePrefix line 41
4. theorem OAI.SK.Analytic.coveragePrefix_nonneg line 45
5. theorem OAI.SK.Analytic.bankPrefix_coverage line 50
6. theorem OAI.SK.Analytic.exists_coverage_schedule line 56