BLOG

additive group
Technology

トレイト境界は加法群なのか？