定理テンプレート の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• 定理テンプレート へ行く。

* (定理) 定理の名前 [#hcad20fe]

** 仮定 [#uc306db7]

** 主張 [#f2274f05]

* 証明 [#m05ff4ad]