属性は、attribute [foo] bar または @[foo] という構文で使用することができます。
attribute [foo] bar
@[foo]
Mathlib において利用可能な属性の一覧は attribute list で確認できます。