Merge pull request #1279 from lean-ja/Seasawher/issue1278

三項演算のままになってる
lean-ja · Jan 2, 2025 · e5559bb · e5559bb
2 parents 42c5690 + 5fdc8d0
commit e5559bb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/LeanByExample/Type/List.lean b/LeanByExample/Type/List.lean
@@ -214,7 +214,7 @@ def Arity (α : Type) : (n : Nat) → Type
   | 0 => α
   | n + 1 => α → Arity α n
 
-/-- 3 項演算 `Bool → Bool → Bool` の例 -/
+/-- 2 項演算 `Bool → Bool → Bool` の例 -/
 example : Arity Bool 2 := fun a b => a && b
 
 /-- 真理関数 `p : Arity Bool n` に対して、その真理値表を作成する。-/