doc: add omitted word to Korean translation

chabulhwi · Sep 29, 2024 · f2c0afc · f2c0afc
1 parent ab24e59
commit f2c0afc
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/docs/ko/notes/chapter03/propositions.md b/docs/ko/notes/chapter03/propositions.md
@@ -31,7 +31,7 @@
 
 골드바흐의 추측은 2보다 큰 모든 짝수가 두 소수의 합이라는 진술입니다. 2024년 현재 우리는 아직 이 추측이 참인지 거짓인지 모르니, 한국의 고등학교 수학 교사들은 그렇지 않다고 답할 것입니다.
 
-그러나 이 추측은 린 정리 증명기로 다음과 같이 정의할 수 있습니다.
+그러나 이 추측은 린 정리 증명기를 이용해 다음 명제로 정의할 수 있습니다.
 
 ```lean
 import Mathlib.Data.Nat.Prime.Defs

diff --git a/docs/omegat/project_save.tmx b/docs/omegat/project_save.tmx
@@ -404,8 +404,8 @@ the sum of two prime numbers.</seg>
         <seg>However, the conjecture can be defined as a proposition in the Lean theorem
 prover as follows:</seg>
       </tuv>
-      <tuv lang="ko" changeid="chabulhwi" changedate="20240929T091828Z" creationid="chabulhwi" creationdate="20240929T091618Z">
-        <seg>그러나 이 추측은 린 정리 증명기로 다음과 같이 정의할 수 있습니다.</seg>
+      <tuv lang="ko" changeid="chabulhwi" changedate="20240929T110833Z" creationid="chabulhwi" creationdate="20240929T091618Z">
+        <seg>그러나 이 추측은 린 정리 증명기를 이용해 다음 명제로 정의할 수 있습니다.</seg>
       </tuv>
     </tu>
     <tu>