Loading paper
Con($\mathfrak{r}_{\mathsf{nwd}}<\mathfrak{irr}$) | Tomesphere