Robuta

https://www.mscand.dk/article/view/11879 A note on the characterization of standard Borel spaces. | MATHEMATICA SCANDINAVICA standard borel spaces on the mathematica scandinavica note characterization https://isa-afp.org/entries/Standard_Borel_Spaces.html Standard Borel Spaces - Archive of Formal Proofs Standard Borel Spaces in the Archive of Formal Proofs standard borel spaces archive formal proofs