加remark和proposition #348
haishixingwu
started this conversation in
General
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
我想加remark和proposition,我在哪个文件定义,怎么定义
Beta Was this translation helpful? Give feedback.
All reactions