翻訳開始

s-taiga · s-taiga · commit 2e2b420f425c · 2024-12-21T16:43:03.000+09:00
diff --git a/Manual/Language/RecursiveDefs.lean b/Manual/Language/RecursiveDefs.lean
@@ -15,7 +15,10 @@ open Lean.Elab.Tactic.GuardMsgs.WhitespaceMode
 
 set_option maxRecDepth 1500
 
+/-
 #doc (Manual) "Recursive Definitions" =>
+-/
+#doc (Manual) "再帰定義（Recursive Definitions）" =>
 %%%
 tag := "recursive-definitions"
 %%%
