src/HOL/Probability/Conditional_Probability.thy
changeset 47255 30a1692557b0
parent 46731 5302e932d1e5