15. 简化器🔗

简化器是 Lean 中最常用的功能之一。 它根据简化规则数据库，从内向外重写项。 简化器具有很高的可配置性，许多策略以不同方式使用它。

1. 15.1. 调用简化器
2. 15.2. 重写规则
3. 15.3. simp 集
4. 15.4. simp 范式
5. 15.5. 终结位置与非终结位置
6. 15.6. 配置简化
7. 15.7. 简化与重写