src/HOL/Probability/Independent_Family.thy
changeset 47255 30a1692557b0
parent 46731 5302e932d1e5
child 47694 05663f75964c