Open Seasawher opened 2 weeks ago
普通はAddGroupは可換なのでabelでなんとかなる
分配法則から加法の可換性が従うことを示そうとしたときなどは、groupが使えないので困ることになる
普通はAddGroupは可換なのでabelでなんとかなる