-
Notifications
You must be signed in to change notification settings - Fork 2
引用定理时附带定理名称? #1
Copy link
Copy link
Open
Labels
enhancementNew feature or requestNew feature or request
Description
Activity
Metadata
Metadata
Assignees
Labels
enhancementNew feature or requestNew feature or request
在有定理名的时候将引用时出现的标号改为名称
Theorem 1 → Theorem(Name)