更改

无编辑摘要
lawvere定理的函数版本