forked from leanprover-community/mathematics_in_lean
-
Notifications
You must be signed in to change notification settings - Fork 9
6. Structures #6
Copy link
Copy link
Open
Description
subfish-zhou
opened on Oct 16, 2024
Issue body actions
- 翻译
- 校对
Reactions are currently unavailable
Activity
Metadata
Metadata
Assignees
Labels
No labels
Type
Projects
- StatusShow more project fields翻译