aesop の safe ルールの説明を修正する

LeanByExample/Reference/Declarative/AddAesopRules.lean

@@ -93,7 +93,7 @@ example (a b c d e : Nat)
   aesop
 
 end --#
-/- `safe` ルールは常に適用されてしまうため、特定の状況でのみ適用したいルールは `unsafe` とすることが推奨されます。誤って `safe` ルールに登録してしまうと上手く動作しないことがあります。 -/
+/- `safe` ルールは適用すると後戻りができないため、特定の状況でのみ適用したいルールは `unsafe` とすることが推奨されます。誤って `safe` ルールに登録してしまうと上手く動作しないことがあります。 -/
 section --#
 
 -- safe ルールとして推移律を登録する