項の単一化

---

\=/2
=/2
unifiy_with_occurs_check/2

戻る 続く..

冒頭へ