Update .i18n/Game-zh_CN.po

Co-authored-by: Utensil <utensilcandel@gmail.com>
leanprover-community · Mar 23, 2024 · f2f8a3f · f2f8a3f
1 parent 1e0f416
commit f2f8a3f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.i18n/Game-zh_CN.po b/.i18n/Game-zh_CN.po
@@ -1583,7 +1583,7 @@ msgid ""
 msgstr ""
 "\n"
 "您可以至少通过三种方式证明 $1\times m=m$。\n"
-"通过感应（归纳法），或使用 `succ_mul`，或\n"
+"通过归纳法，或使用 `succ_mul`，或\n"
 "通过使用交换律。你认为哪个最快？\n"
 
 #: Game.Levels.Multiplication.L05one_mul