## Package probability-1.52

### Information

versions | 1.22→ ··· →1.48→1.49→ 1.52 →1.53→ 1.54 |

description | Probability |

author | Joe Leslie-Hurd <joe@gilith.com> |

license | MIT |

installed | 05:26:29 on Monday 19 October 2015 |

For more details see the package document.

### Includes

- probability-def-1.42 — Definition of probability
- probability-thm-1.20 — Properties of probability