ProbablyTrue
Posts
Categories
Login
home
Categories
General Probability
Follow
Save
Delete?
Cancel
Shaikh Ammar
14 Dec 2025
created 14 Dec 2025 08:13
updated 20 Dec 2025 08:17
2 categories
General Probability
Probability
A formalisation of Dubins’ proof to Skorokhod’s embedding theorem
×
Follow
Email
Follow