群の完備化
使い方はこちら
(説明つき)
O + x = x
- x + x = O
(x + y) + z = x + (y + z)
- (x + y) = - y + - x
2023年3月10日更新