OAI/Probability/Renewal/Counting.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HoneycombLocal.indexWindow line 10
2. lemma OAI.HoneycombLocal.mem_indexWindow line 12
3. lemma OAI.HoneycombLocal.card_indexWindow line 18
4. lemma OAI.HoneycombLocal.renewalMass_eq_tsum line 26
5. lemma OAI.HoneycombLocal.renewal_lower_finset line 31
6. lemma OAI.HoneycombLocal.inverse_tilt_scale line 43