Lean 语言参考

13.11. 引用和反引用🔗

报价条款在 报价部分中进行了描述。