src/HOL/Probability/Projective_Family.thy
changeset 57514 bdc2c6b40bf2
parent 57447 87429bdecad5
child 58876 1888e3cb8048