src/HOL/Probability/Probability_Mass_Function.thy
changeset 61578 6623c81cb15a
parent 61424 c3658c18b7bc
child 61605 1bf7b186542e
child 61609 77b453bd616f