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#16 2023-02-21 12:17:00 +00:00
标记证明思虑
ez_lcw pushed to main at ez_lcw/lcw-analyze 2022-10-03 08:22:08 +00:00
70544b1d00 标记第8章完成
ez_lcw merged pull request ez_lcw/lcw-analyze#15 2022-09-26 09:16:36 +00:00
基本完成前8章
ez_lcw closed issue ez_lcw/lcw-analyze#13 2022-09-26 09:16:36 +00:00
修正关于集合基数的记号
ez_lcw pushed to main at ez_lcw/lcw-analyze 2022-09-26 09:16:36 +00:00
9065334a35 部分格式问题的修正
055e5055ee 在合并请求#15中，按照意见修改第3章
250cb51334 完成第8章
cbfb664164 revert fbc72d2a1d79d7145d6febb515a9c69f29bc2d29
c704d19ada 上传文件至 ''
Compare 6 commits »
ez_lcw deleted branch finish-8 from ez_lcw/lcw-analyze 2022-09-26 09:16:36 +00:00
ez_lcw pushed to finish-8 at ez_lcw/lcw-analyze 2022-09-26 09:14:31 +00:00
47f9b0b122 Merge branch 'main' into finish-8
c772532508 确保除法中的被除数不是0
42116841a0 标记5A完成
86da095e7d 增加除法的定义
b7d6857647 增加 5A（番外篇：戴德金分割与实数理论）
Compare 5 commits »
ez_lcw pushed to finish-8 at ez_lcw/lcw-analyze 2022-09-26 07:51:17 +00:00
1a98453b51 部分格式问题的修正
ez_lcw pushed to finish-8 at ez_lcw/lcw-analyze 2022-09-24 11:01:27 +00:00
f310f60fd9 在合并请求#15中，按照意见修改第3章
ez_lcw created pull request ez_lcw/lcw-analyze#15 2022-09-24 03:26:31 +00:00
基本完成前8章
ez_lcw pushed to finish-8 at ez_lcw/lcw-analyze 2022-09-24 03:00:08 +00:00
522a0beb7c 完成第8章
ez_lcw pushed to finish-8 at ez_lcw/lcw-analyze 2022-09-23 15:10:32 +00:00
1e6f911169 revert fbc72d2a1d79d7145d6febb515a9c69f29bc2d29
ez_lcw pushed to finish-8 at ez_lcw/lcw-analyze 2022-09-23 15:09:53 +00:00
fbc72d2a1d 上传文件至 ''
ez_lcw created branch finish-8 in ez_lcw/lcw-analyze 2022-09-23 10:25:21 +00:00
ez_lcw pushed to finish-8 at ez_lcw/lcw-analyze 2022-09-23 10:25:21 +00:00
f6c2b87cf2 完成了第8章的部分内容
ez_lcw commented on issue ez_lcw/lcw-analyze#9 2022-09-21 12:32:14 +00:00
完善第8、9、10、11章

对于第8章需要slc协助的地方：

  • 寻找引理 8.2.10 的更简洁的证明方法（或者简化其中的步骤）

  • 寻找引理 8.5.8 的更简洁的证明方法（或者简化其…

ez_lcw opened issue ez_lcw/lcw-analyze#14 2022-09-21 11:25:06 +00:00
简化垂线判别法的表述
ez_lcw commented on issue ez_lcw/lcw-analyze#12 2022-09-21 11:23:57 +00:00
处理命题序号变更时其他引用之处无法动态跟随变化的问题

我不知道，得你想主意

如果太麻烦的话可以暂且搁置（

ez_lcw opened issue ez_lcw/lcw-analyze#13 2022-09-21 07:08:19 +00:00
修正关于集合基数的记号
ez_lcw opened issue ez_lcw/lcw-analyze#12 2022-09-21 07:01:06 +00:00
处理命题序号变更时其他引用之处无法动态跟随变化的问题