Zulip Chat Archive
Stream: triage
Topic: issue #4906: Redefine `linear_map.tensor` to be a bundled...
Random Issue Bot (Dec 02 2020 at 14:23):
Today I chose issue 4906 for discussion!
Redefine linear_map.tensor to be a bundled hom
Created by @Anne Baanen (@Vierkantor) on 2020-11-04
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Dec 31 2020 at 14:32):
Today I chose issue 4906 for discussion!
Redefine linear_map.tensor to be a bundled hom
Created by @Anne Baanen (@Vierkantor) on 2020-11-04
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Jan 25 2022 at 14:16):
Today I chose issue 4906 for discussion!
Redefine linear_map.tensor to be a bundled hom
Created by @Anne Baanen (@Vierkantor) on 2020-11-04
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (May 22 2022 at 14:20):
Today I chose issue 4906 for discussion!
Redefine linear_map.tensor to be a bundled hom
Created by @Anne Baanen (@Vierkantor) on 2020-11-04
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Mar 09 2023 at 14:08):
Today I chose issue 4906 for discussion!
Redefine linear_map.tensor to be a bundled hom
Created by @Anne Baanen (@Vierkantor) on 2020-11-04
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Jun 24 2023 at 14:07):
Today I chose issue 4906 for discussion!
Redefine linear_map.tensor to be a bundled hom
Created by @Anne Baanen (@Vierkantor) on 2020-11-04
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Jul 20 2023 at 14:08):
Today I chose issue 4906 for discussion!
Redefine linear_map.tensor to be a bundled hom
Created by @Anne Baanen (@Vierkantor) on 2020-11-04
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Aug 30 2023 at 14:07):
Today I chose issue 4906 for discussion!
Redefine linear_map.tensor to be a bundled hom
Created by @Anne Baanen (@Vierkantor) on 2020-11-04
Labels:
Is this issue still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2023 at 11:08 UTC