src/HOL/Probability/Projective_Family.thy
changeset 52435 6646bb548c6b
parent 50252 4aa34bd43228
child 53015 a1119cf551e8