Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Theorems involving order need to be cleaned up #41

Closed
dcernst opened this issue Mar 7, 2016 · 1 comment
Closed

Theorems involving order need to be cleaned up #41

dcernst opened this issue Mar 7, 2016 · 1 comment
Labels
Important

Comments

@dcernst
Copy link
Owner

dcernst commented Mar 7, 2016

The sequence of theorems after the definition of order need to be cleaned up. In particular, Theorems 6.7-6.9 (Spring 2016) are a better fit if we use the smallest positive integer approach to the definition of order. Should I switch definitions or retool the sequence?
@dcernst
Copy link
Owner Author

dcernst commented Oct 13, 2017

Done.

@dcernst dcernst closed this as completed Oct 13, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Important
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@dcernst