-
Notifications
You must be signed in to change notification settings - Fork 10
Pull requests: coq-community/topology
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Redefine well-orders and prove that their order is well-founded
#42
opened Jun 24, 2022 by
Columbus240
•
Draft
2 tasks
ProTip!
Updated in the last three days: updated:>2024-11-15.