src/HOL/Probability/Borel_Space.thy
changeset 57512 cc97b347b301
parent 57447 87429bdecad5
child 57514 bdc2c6b40bf2