src/HOL/Probability/Measure_Space.thy
changeset 52435 6646bb548c6b
parent 51351 dd1dd470690b
child 53374 a14d2a854c02