src/HOL/Probability/Regularity.thy
changeset 52861 e93d73b51fd0
parent 52141 eff000cab70f
child 56166 9a241bc276cd