Muller-Schuppの定理のpdf,texファイルを分割することを覚えたのでタイプセットの処理が多少軽くなった
A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.