翻訳開始

lean-ja · Nov 22, 2024 · 5d6b463 · 5d6b463
1 parent c48e19d
commit 5d6b463
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/Manual/Simp.lean b/Manual/Simp.lean
@@ -16,7 +16,10 @@ set_option pp.rawOnError true
 
 set_option linter.unusedVariables false
 
+/-
 #doc (Manual) "The Simplifier" =>
+-/
+#doc (Manual) "単純化器（The Simplifier）" =>
 %%%
 tag := "the-simplifier"
 %%%