全順序における反射条件の冗長性

---

コメント

コメントはありません。