This needs to happen; concise proofs would be nice too.
Implied convergence of random variables under various probability divergences.
Skorokhod representation for weak convergences.
Should I also discuss the
Skorokhod metric, which induces a “nice” topology on smoothly deformed càdlàg functions? Nah, I don’t need that right now.