src/HOL/Probability/Characteristic_Functions.thy
changeset 66787 64b47495676d
parent 65064 a4abec71279a
child 67977 557ea2740125