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

整合记号变更及细节修改

这里改了啥

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个点

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

整合记号变更及细节修改

有些时候比较显然的性质就可以在正文叙述中一笔带过而不必专设一个引理或命题，例如二元关系的基础性质、代入公理、相容性等。