typo

EthanDeng
2019-04-18 16:46:58 +08:00
parent 532e79a4d2
commit eb9b6c885c

@@ -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`
**第二步:选项替换:**