OAI/Probability/Renewal/Definitions.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.HoneycombLocal.sumLaw line 10
2. def OAI.HoneycombLocal.renewalMass line 14
3. def OAI.HoneycombLocal.SpanOne line 17
4. def OAI.HoneycombLocal.laplace line 20
5. def OAI.HoneycombLocal.BoundedPowerInput line 23