src/HOL/Probability/Probability_Measure.thy
changeset 52435 6646bb548c6b
parent 51683 baefa3b461c2
child 53015 a1119cf551e8