src/HOL/Probability/Borel_Space.thy
changeset 52435 6646bb548c6b
parent 51683 baefa3b461c2
child 53216 ad2e09c30aa8