apply? と exact? の一言説明が重複していたのを修正

lean-ja · Oct 23, 2023 · 3adca7c · 3adca7c
1 parent b050b29
commit 3adca7c
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/SUMMARY.md b/src/SUMMARY.md
@@ -7,7 +7,7 @@
 - [aesop: ルーチン自動化](./aesop.md)
 - [apply_assumption: 仮定から後方推論](./apply_assumption.md)
 - [apply: 含意→を使う](./apply.md)
-- [apply?: ライブラリ検索](./apply_question.md)
+- [apply?: ライブラリ検索で後方推論](./apply_question.md)
 - [assumption: 仮定からゴールを閉じる](./assumption.md)
 - [by_cases: 排中律](./by_cases.md)
 - [by_contra: 背理法](./by_contra.md)
@@ -21,7 +21,7 @@
 - [convert: 惜しい補題を使う](./convert.md)
 - [done: 証明終了を宣言](./done.md)
 - [exact: 証明を直接構成](./exact.md)
-- [exact?: ライブラリ検索](./exact_question.md)
+- [exact?: ゴールをライブラリ検索](./exact_question.md)
 - [exists: 存在∃を示す](./exists.md)
 - [ext: 外延性を使う](./ext.md)
 - [funext: 関数等式を示す](./funext.md)