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
Fixed misprint; added note in Theorem 1's proof #1
base: master
Are you sure you want to change the base?
Fixed misprint; added note in Theorem 1's proof #1
Changes from 1 commit
a8bcce1
a0824ca
a7459de
ea4a269
f30fc06
f70da9b
a6c5cec
f9f6100
f588af6
840f6a7
f797a32
5881457
0b85289
60faf38
0aca4f5
91fdfff
2b5bc27
339ee1d
f0e0f0e
d0ff89c
f60d8f7
590ba9f
fc66d6d
a15f551
a6840c9
a1e7da0
fa8bbe6
c83d430
419ad7a
a3ef401
62e9b54
3c08fbf
4d01524
a2c8cc5
b86d736
473eed8
bfb0e3b
fd09d21
2a0435b
ec98344
d32bd0f
3c9af0a
5f75c11
a530e62
159c8c6
4ba2689
916f13e
4f0d3ac
fbc58a9
5730384
9230352
ce68059
daf76d2
a77e374
3c1de2f
e644ec6
aab2313
449b109
c58bcdc
49170e0
e77e7d3
2449c63
1b7f41d
057abe5
27bc0b7
a4cbf4d
3bafa11
5a08080
6d19cc1
1f6e338
425454f
a5a6c7b
dbab786
ff076f1
1ea02fe
c7d96f2
9aad597
8833f1f
a43b0b9
b126742
811e1c1
ee95300
87ceff5
136e4e4
9091c25
4499737
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing