属性
属性は、attribute コマンドや @[...] という構文で扱うことができるものです。
本書では属性の完全なリストは示しません。Mathlib において利用可能な属性の一覧は Mathlib4 Help で確認できます。
Press ← or → to navigate between chapters
Press S or / to search in the book
Press ? to show this help
Press Esc to hide this help
属性は、attribute コマンドや @[...] という構文で扱うことができるものです。
本書では属性の完全なリストは示しません。Mathlib において利用可能な属性の一覧は Mathlib4 Help で確認できます。