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(LinearAlgebra/PiTensorProduct): arbitrary tensor product of algebras #9395
[Merged by Bors] - feat(LinearAlgebra/PiTensorProduct): arbitrary tensor product of algebras #9395
Changes from all commits
e0a32a0
631bfe3
0c4e99e
da25cda
345f1e6
65ec881
de5d6d2
d2261f4
82d33c5
ad8b7f8
3f79bbd
8a91d9b
d56485b
d0ab3a8
a7e5617
a45e347
77a20f3
a2364b9
4a3892a
e11b7bf
aae4fd9
a0c5203
cd003ab
01f77d2
04daa42
e9847be
8db5535
fdf208d
82c54bc
d693761
8c94b12
61d2c03
f4e668a
06b91ff
e8a2007
1cdc122
deaf515
9edb831
f9a3f2c
b4bfd52
6853df3
d5e04c0
5ee71ec
6cc50a8
a852f1f
9cad666
499b5a2
4f36f98
ba1f2fa
2a0b0c0
d9b4dd8
278fcca
d4d9c86
bcf2d0c
c2680cd
8487d12
9aa02c4
fea8428
1d7b385
1df8f62
e060c87
ca1e2dc
ddf6a5a
b2c5005
d1f91b2
0f9e789
39f9f27
d126d3c
de2cf48
57a624a
f990f2b
File filter
Filter by extension
Conversations
Jump to
There are no files selected for viewing