From eb9b6c885c236bb7235dc2317c6198de3125ba1e Mon Sep 17 00:00:00 2001 From: EthanDeng Date: Thu, 18 Apr 2019 16:46:58 +0800 Subject: [PATCH] typo --- convert.md | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/convert.md b/convert.md index f432f65..17cba08 100644 --- a/convert.md +++ b/convert.md @@ -20,12 +20,12 @@ **第一步，名字替换：** - + `newdef` 改为 `definition` - + `newthem` 改为 `theorem` - + `newlemma` 改为 `lemma` - + `newcorol` 改为 `corollary` - + `newprop` 改为 `proposition` - + `newproof` 改为 `proof` ++ `newdef` 改为 `definition` ++ `newthem` 改为 `theorem` ++ `newlemma` 改为 `lemma` ++ `newcorol` 改为 `corollary` ++ `newprop` 改为 `proposition` ++ `newproof` 改为 `proof` **第二步：选项替换：**