比较 Leanbase 中的状态与部分 | Leanbase