src/HOL/Probability/Embed_Measure.thy
changeset 63625 1e7c5bbea36d
parent 63539 70d4d9e5707b