15. 简化者🔗

简化器是 Lean 最常用的功能之一。 它基于简化规则数据库对术语进行由内而外的重写。 该简化器具有高度可配置性，许多策略以不同的方式使用它。

1. 15.1. 调用简化器
2. 15.2. 重写规则
3. 15.3. 简单套装
4. 15.4. 简单范式
5. 15.5. 终端头寸与非终端头寸
6. 15.6. 配置简化
7. 15.7. 简化与重写