src/HOL/Probability/Probability_Mass_Function.thy
changeset 58839 ccda99401bc8
parent 58730 b3fd0628f849
child 59000 6eb0725503fc