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