Show newer

順序対のこの定理の証明、教科書見る感じ地獄でしかない

上のやつをコンストラクタ一般に関して書けばよさそうだ

6個も証明出来ていない定理があるよ😢ぼくはもうだめだ😢

Show older
mstdn.jp

Mastodon日本鯖です. よろしくお願いいたします。 (Maintained by Sujitech, LLC)