20200514045521
先日
#今日の圏論
でいろんな方に教えていただいた「反対圏の定義」もタイトルを付けて最後に謝辞もいれることができました。今後も必要に応じて更新できる場所がちゃんとできたので一安心。
https://t.co/6VnXJ0lGPu
#20200514
#20200514045521
https://twitter.com/hyuki/status/1260795813422182400