From f29b37750709fb720a91fb50e465b92489c2da66 Mon Sep 17 00:00:00 2001
From: Kitamado <47292598+Seasawher@users.noreply.github.com>
Date: Sun, 14 Apr 2024 00:10:59 +0900
Subject: [PATCH] fix description of tactic cheatsheet

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 2c0463f..939dac2 100644
--- a/README.md
+++ b/README.md
@@ -51,7 +51,7 @@ Leanの基礎的な使い方や命題論理について
 
 - [A mathlib overview](https://leanprover-community.github.io/mathlib-overview.html)では、Leanの数学ライブラリmathlibで扱われている数学を概観できます。
 
-- [タクティク逆引きリスト](https://lean-ja.github.io/tactic-cheatsheet/)は、Mathlibで使用できるタクティクがユースケースから逆引きできるようにまとめられたリストです。
+- [タクティク逆引きリスト](https://lean-ja.github.io/tactic-cheatsheet/)は、Mathlibで使用できるタクティクやコマンドがユースケースから逆引きできるようにまとめられたリストです。
 
 ## 開発者向け情報