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
feat(ring_theory/power_series): order #1292
feat(ring_theory/power_series): order #1292
Changes from 62 commits
12acd3c
8b7eb31
146405a
0f01f4a
eaa538a
2bc7b64
d26b939
bfde6d7
907584d
be0b909
d4b3672
0afb898
9f3160a
99dd853
4ee9f0c
dac1470
81195b1
faf92d8
7a18a28
3bba2bf
10169aa
f30a689
aeae8ae
a1c7cb5
be25bd8
a3d7690
70744fb
332840d
095a688
21b465b
7b8ef4c
355e72f
3ad952e
2ed1f92
d19b653
ed960c0
534ddb8
340a4d2
006deba
e847904
9a58c5f
0641d71
d5fefc8
0c1b7c4
9f785d2
d3b1b64
f347ce6
57c2978
81c53c7
604168d
5105f59
42c1007
22c2a6a
bbc22fc
39d03cd
08bc5ee
d6b001d
cbb9086
d5c27a4
24f33c4
3d3af2e
e109ba9
fe7710a
edd8d64
76d5d3e
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing