用語対応もれ

lean-ja · Jan 4, 2025 · 99c6568 · 99c6568
1 parent 89b0bd3
commit 99c6568
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Manual/Language.lean b/Manual/Language.lean
@@ -332,7 +332,7 @@ The following data are tracked in section scopes:
 
 : セクション変数
 
-  {tech}[Section variables] は、定義のパラメータとして自動的に追加される名前（もしくは {tech}[インスタンス暗黙] のパラメータ）です。また、定理の文中に登場する場合は、全称量化された仮定として定理に追加されます。
+  {tech}[セクション変数] は、定義のパラメータとして自動的に追加される名前（もしくは {tech}[インスタンス暗黙] のパラメータ）です。また、定理の文中に登場する場合は、全称量化された仮定として定理に追加されます。
 
 :::comment
 ### Controlling Section Scopes