そしてKan拡張と米田の補題にかじりついたままになってる😂
Mathtodon is a Mastodon instance, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.
