ez_lcw

0 Followers · 0 Following

• Joined on 2022-09-05

Repositories

2

Projects Packages Public Activity Starred Repositories

1

ez_lcw closed issue ez_lcw/lcw-analyze#3 2022-09-15 11:10:04 +00:00

翻译定理的名字

ez_lcw pushed to main at ez_lcw/lcw-analyze 2022-09-15 11:09:05 +00:00

8a60354b18 完成#3翻译定理的名字

ez_lcw commented on issue ez_lcw/lcw-analyze#2 2022-09-15 08:46:27 +00:00

更新区间集合记号

已全部修改

ez_lcw closed issue ez_lcw/lcw-analyze#2 2022-09-15 08:46:27 +00:00

更新区间集合记号

ez_lcw pushed to main at ez_lcw/lcw-analyze 2022-09-15 08:45:08 +00:00

c14f4f06ac 完成#2更新区间集合记号

a3aa4f4df1 在第10章新增了单调函数和导数以及反函数和导数的一部分

c76b6e7c64 小修改（主要是为了下载更新）

Compare 3 commits »

ez_lcw approved ez_lcw/lcw-analyze#4 2022-09-07 13:41:14 +00:00

使用更简单的方法证明良序原理

ez_lcw approved ez_lcw/lcw-analyze#1 2022-09-05 11:38:29 +00:00

整合记号变更及细节修改

ez_lcw commented on pull request ez_lcw/lcw-analyze#1 2022-09-05 11:34:35 +00:00

整合记号变更及细节修改

tag #2

ez_lcw commented on pull request ez_lcw/lcw-analyze#1 2022-09-05 11:34:35 +00:00

整合记号变更及细节修改

换行，逗号

ez_lcw suggested changes for ez_lcw/lcw-analyze#1 2022-09-05 11:34:35 +00:00

整合记号变更及细节修改

重改，10min内完成发给我，今晚加班

ez_lcw commented on pull request ez_lcw/lcw-analyze#1 2022-09-05 10:37:59 +00:00

整合记号变更及细节修改

不要加粗

ez_lcw commented on pull request ez_lcw/lcw-analyze#1 2022-09-05 10:37:59 +00:00

整合记号变更及细节修改

错别字

ez_lcw commented on pull request ez_lcw/lcw-analyze#1 2022-09-05 10:37:59 +00:00

整合记号变更及细节修改

不标准的语言

ez_lcw commented on pull request ez_lcw/lcw-analyze#1 2022-09-05 10:37:59 +00:00

整合记号变更及细节修改

可以加上 “我们将在第8章更正式地讨论偏序集” 之类的话语。

ez_lcw commented on pull request ez_lcw/lcw-analyze#1 2022-09-05 10:37:59 +00:00

整合记号变更及细节修改

这行重复了

ez_lcw commented on pull request ez_lcw/lcw-analyze#1 2022-09-05 10:37:59 +00:00

整合记号变更及细节修改

tag

ez_lcw commented on pull request ez_lcw/lcw-analyze#1 2022-09-05 10:37:59 +00:00

整合记号变更及细节修改

tag

ez_lcw commented on pull request ez_lcw/lcw-analyze#1 2022-09-05 10:37:59 +00:00

整合记号变更及细节修改

tag

ez_lcw commented on pull request ez_lcw/lcw-analyze#1 2022-09-05 10:37:59 +00:00

整合记号变更及细节修改

tag

ez_lcw commented on pull request ez_lcw/lcw-analyze#1 2022-09-05 10:37:59 +00:00

整合记号变更及细节修改

tag