simplest unifier

[计] 最简一致置换

今日更新

更新时间：2025-07-16 08:50:57