属性

属性は、attribute コマンドや @[...] という構文で扱うことができるものです。

本書では属性の完全なリストは示しません。Mathlib において利用可能な属性の一覧は attribute list で確認できます。