1から始める数学
id:PASTORALE
0から始める数学(その12)
整数の引き算を、定義します。 同値類を使う意味も、確認します。