属性

属性は、attribute [foo] bar または @[foo] という構文で使用することができます。

Mathlib において利用可能な属性の一覧は attribute list で確認できます。