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: patch for std4#197 (More add lemmas for Nat
)
#6202
Conversation
5b3a46b
to
014a930
Compare
Nat
)
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Changes here all look reasonable to me, I would be happy to merge once the Std commit lands and this is updated to master.
014a930
to
a0a926a
Compare
6000734
to
636a14b
Compare
636a14b
to
3567db2
Compare
024a791
to
30448cd
Compare
30448cd
to
a09ad70
Compare
bors d+ (Obivously it will need to wait for Std.) |
✌️ fgdorais can now approve this pull request. To approve and merge a pull request, simply reply with |
This PR/issue depends on:
|
bors r+ |
👎 Rejected by label |
bors merge |
Pull request successfully merged into master. Build succeeded: |
Nat
)Nat
)
Nat
batteries#197