ez_lcw

0 Followers · 0 Following

• Joined on 2022-09-05

Repositories

2

Projects Packages Public Activity Starred Repositories

1

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

整合记号变更及细节修改

这里改了啥

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

整合记号变更及细节修改

不要加粗

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

整合记号变更及细节修改

分号

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

整合记号变更及细节修改

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

整合记号变更及细节修改

这是可以办到的，使用双并公理有限次即可。

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

整合记号变更及细节修改

ref

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

整合记号变更及细节修改

不要写4个点