Avatar
シンプルな証明ですね。すばらしい 🎉
5:12 PM
これにはCoqもにっこり(本当か?)