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.
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
chore: redefine
Nat.bit
Nat.div2
Nat.bodd
#13649base: master
Are you sure you want to change the base?
chore: redefine
Nat.bit
Nat.div2
Nat.bodd
#13649Changes from all commits
c047c64
5ccab29
9f429e9
7ffe999
584c3ce
fde50df
68a2c0b
ea3360b
6392674
77d68ab
bd0c24f
fd5c58d
049d442
16a10ce
7398e5b
4a9fd6e
ccb809c
38780b5
e056180
199117a
27734ef
84535ce
40ed248
80ce83e
e57a5d9
2046094
432eaec
9d9ccda
2097400
194bf44
d32d5c6
7a00093
7c3e5b3
6b19c7e
871aa5f
19b05e0
3389c1d
8b6ae3b
ccbbd75
4855c89
d1de536
c47385f
9bfda89
d569f2d
2983872
7e64fc8
4aab2a9
9662403
a884905
759d699
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing