-
Notifications
You must be signed in to change notification settings - Fork 298
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.
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
[Merged by Bors] - fix(data/mv_polynomial): add missing decidable_eq
arguments to lemmas
#18848
Closed
Commits on Apr 21, 2023
-
Configuration menu - View commit details
-
Copy full SHA for 72631af - Browse repository at this point
Copy the full SHA 72631afView commit details -
Configuration menu - View commit details
-
Copy full SHA for 08058a6 - Browse repository at this point
Copy the full SHA 08058a6View commit details -
Configuration menu - View commit details
-
Copy full SHA for c31ce7e - Browse repository at this point
Copy the full SHA c31ce7eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 0b77da8 - Browse repository at this point
Copy the full SHA 0b77da8View commit details -
Configuration menu - View commit details
-
Copy full SHA for fb90a1f - Browse repository at this point
Copy the full SHA fb90a1fView commit details -
Configuration menu - View commit details
-
Copy full SHA for 1f73d46 - Browse repository at this point
Copy the full SHA 1f73d46View commit details -
Configuration menu - View commit details
-
Copy full SHA for 41dea1e - Browse repository at this point
Copy the full SHA 41dea1eView commit details -
Configuration menu - View commit details
-
Copy full SHA for 00477bd - Browse repository at this point
Copy the full SHA 00477bdView commit details
Commits on May 10, 2023
-
Update src/data/mv_polynomial/basic.lean
Co-authored-by: Anne Baanen <Vierkantor@users.noreply.github.com>
Configuration menu - View commit details
-
Copy full SHA for 27eaf6e - Browse repository at this point
Copy the full SHA 27eaf6eView commit details -
Configuration menu - View commit details
-
Copy full SHA for f005ee6 - Browse repository at this point
Copy the full SHA f005ee6View commit details -
Merge branch 'eric-wieser/mv_poly-basic-deceq' of https://github.com/…
…leanprover-community/mathlib into eric-wieser/mv_poly-basic-deceq
Configuration menu - View commit details
-
Copy full SHA for c5e05de - Browse repository at this point
Copy the full SHA c5e05deView commit details
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.