翻訳開始

s-taiga · s-taiga · commit 21777dc632d5 · 2025-01-03T17:35:51.000+09:00
diff --git a/Manual/Language.lean b/Manual/Language.lean
@@ -260,7 +260,12 @@ Which language features are controlled by the currently open namespaces?
 
 :::
 
+:::comment
 ## Section Scopes
+:::
+
+## セクションスコープ（Section Scopes）
+
 %%%
 tag := "scopes"
 %%%
