name: probability-thm version: 1.20 description: Properties of probability author: Joe Leslie-Hurd license: MIT provenance: HOL Light theory extracted on 2015-04-28 requires: base requires: probability-def requires: stream show: "Data.Bool" show: "Data.List" show: "Data.Pair" show: "Data.Stream" show: "Function" show: "Number.Natural" show: "Probability.Random" main { article: "probability-thm.art" }