Loading paper
Metric ultraproducts of groups -- simplicity, perfectness and torsion | Tomesphere