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
[Merged by Bors] - feat(group_theory/noncomm_pi_coprod): homomorphism from pi monoids or groups #11744
[Merged by Bors] - feat(group_theory/noncomm_pi_coprod): homomorphism from pi monoids or groups #11744
Changes from 51 commits
8895dd8
47cf2cd
637058f
363f6ff
204dea2
e42f4aa
2aef604
7e18e9b
cda4df8
945d984
80ef71c
723e30a
88398c2
ba94eeb
9d87cf4
29f828a
05e4029
e73b58c
fdda033
4d6d5be
4b7f97f
d576d7c
3cdf4b9
d33876f
9de2537
f56d66d
e810447
7cc8b50
e1257d0
194253f
50712bb
8da6ad5
dfcc956
dfccab3
81ecc8c
e5c3a97
f0d5a5c
62da911
ac06e68
1cf2f74
161d1a3
858a150
fd01d65
45da268
a22e26b
ceccaf7
823a972
b477bd1
61fdbfc
06e42bb
02bf466
ce1e1c1
3bf0e6f
7e7dc82
69d481b
d90d987
4216e43
ebcdc9a
53f4397
6930f46
c7a6873
ab6bf7d
b0b7179
817f556
5ae1527
98fbc91
ab10503
5eaff25
d153089
d6abc52
19035bb
699653c
6f1b066
5981a05
177a8d7
45c6798
507d099
f6304b2
6b0dcba
fa6ce2e
72e3168
cfd84be
fc18403
137fb1b
5d9945c
0b30fdc
4e12c99
88710b8
4cdd571
799a4ef
aa37048
0f37afe
47542b6
cbad437
59e7029
cec535a
2905a60
73a9e24
c242aaa
95b0ec9
5d4660b
10fdc85
c2d6dde
30ca722
ca6c531
b076f28
b589335
8479435
921fcc3
65c37ca
6123b28
98184e3
cdd20f6
fcc05b5
10c68ec
27d120f
48f3938
9a82371
40276be
923f7f8
4066009
c9932f3
4e78f24
06a48a1
048a979
cf88139
96db2d5
d0ae33f
15d7b4a
e6f2b3b
8f678af
933682c
b4c4c3a
c5dd22f
a31fe5d
e0e414f
bad3bfe
804d7d8
d80f844
4961f66
ab6f639
700f309
92719f4
bf98c60
4ce80a6
3bf4c4b
9206f90
9197315
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing