src/HOL/Probability/Borel_Space.thy
changeset 57978 8f4a332500e4
parent 57514 bdc2c6b40bf2
child 58656 7f14d5d9b933