付録

付録です。以下のような用途で使います。

• Lean の構文要素に対応しない話をする。
• 各ページに載せるには少し長すぎる具体例を紹介する。
• 用語の解説をする。
• 数学の背景知識の解説をする。