We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
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
le_or_gt
Lemma le_or_gt is used in example 2.5.2 without comment. Only further down in exercise 6, a short explanation is provided:
As in Example 2.5.2, I used the lemma le_or_gt, which says that if and are real numbers then either or ; it can be a useful case division
This should be moved to the place of first use.
The text was updated successfully, but these errors were encountered:
No branches or pull requests
Lemma
le_or_gt
is used in example 2.5.2 without comment. Only further down in exercise 6, a short explanation is provided:This should be moved to the place of first use.
The text was updated successfully, but these errors were encountered: