关于 term-function-equality 的中文软件包

从已经完成翻译的文档出发，找到解决问题的新思路。