Self-contained formalization of random variables? Posted by user21820, at mathoverflow.net, 14 Sep 2020 I have not been able to find any formalization of random variables that supports construction of new random variables dependent…