Loading paper
Noetherianity up to conjugation of locally diagonal inverse limits | Tomesphere