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
Introduce the general linear group and the multiplication group operation. #12
Introduce the general linear group and the multiplication group operation. #12
Changes from 64 commits
b9d2282
5e7a3b9
e276573
1ca24a3
baf7fc8
3527bb5
301e5ff
6e6844b
4524af6
8ece955
c2a01a8
71bd589
9e1f688
b1f69a0
5f95209
76453da
4ec07bd
df8478e
7af3a0e
5c50b92
b3e3eda
0d7b004
aa53b26
58edef3
a73b2dd
76ecadd
9339660
8f76a50
d702a76
a3c2c36
3e54b7b
8b30d9d
0c7d5db
08ea126
ef88470
3e4708a
827b1fd
9e97504
0e3eca3
e9a90b7
26ba0e3
ff49d53
81fd436
bd969b9
8a726a9
834ea73
37f3310
2312845
8b193eb
1e6dad6
a4313ed
99ae845
5b876fa
c4a796a
187c78c
95dfccd
76e89f2
daedf66
f64566c
c7714d8
4124646
7ee90a5
7d0ca04
b783747
2e66666
eb3673e
56524db
bb313bd
516e083
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing