付録

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

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