de Rauglaudre, D. (2017). Formal Proof of Banach-Tarski Paradox. Journal of Formalized Reasoning, 10(1), 37–49. https://doi.org/10.6092/issn.1972-5787/6927