forall n, n <= 0 -> n = 0.を inversion なしで証明するのが難しくてずっと悩んでたんだけど、 inversion 使ったらｽｯと 0 = 0 が出てきた……やべえな
Mastodonに参加して、世界で起きていることを見つけよう。
連合内の誰でもフォローして投稿を時系列で見ることができます。アルゴリズム、広告、クリックベイトはありません。
