Loading paper
$p$-perfection and group completion of $\mathbb{E}_\infty$-monoids | Tomesphere