diff options
| author | Chuckie Chen <chuckie_chen945@163.com> | 2022-07-29 15:16:13 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-29 15:16:13 +0800 |
| commit | 9852ea8856e527a078345b346f25eaaf88f1e14f (patch) | |
| tree | 61122adc81a42cd1b12ebef846bd2495d585db92 /coq.html.markdown | |
| parent | 11a4293061f95b4aaaceb186e42142580dbafd38 (diff) | |
[python/zh-cn] correct mistakes 勘误 (#4468)
* [python/zh-cn] fix typo 修正打字错误
我们可以通过遍历还访问所有的值 -> 我们还可以通过遍历访问所有的值
* add missing character 添加遗漏的字符
这个 math.p 文件会被代替引入 -> 这个 math.py 文件会被代替引入
* fix typo
Diffstat (limited to 'coq.html.markdown')
0 files changed, 0 insertions, 0 deletions