Chapter 19
3.5 圏としてのモノイド
さのたけと
2021.05.20に更新