人生で初めて独立性証明をちゃんと読みました．まだgeneric拡大の気持ちやgeneric拡大がZFCのモデルになっていることの気持ちが分かっていないのでじっくりと取り組んでいきたいですね．
Mathtodon is a Mastodon instance, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.
