Lean 4（元）编程 Cookbook

使用表达式🔗

贡献者：subfish-zhou

本章收集操作表达式的配方，包括构建和模式匹配。

配方：

  1. 表达式的种类
  2. 从函数应用构造表达式
  3. 函数、依值函数与函数类型的表达式
  4. 直接对表达式进行模式匹配
  5. 通过求解对表达式进行模式匹配