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
Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.
If your project currently builds, this is probably because of changes made in its dependencies:
You can see the errors by running:
leanproject up leanproject build
The text was updated successfully, but these errors were encountered:
The error is here. It looks like some changes need to be made after leanprover-community/mathlib3#4243, which removed some redundant nat.pow_* lemmas.
nat.pow_*
Sorry, something went wrong.
This issue has been resolved!
No branches or pull requests
Oh no! We have failed to automatically upgrade your project to the latest versions of Lean and its dependencies.
If your project currently builds, this is probably because of changes made in its dependencies:
You can see the errors by running:
The text was updated successfully, but these errors were encountered: