Zulip Chat Archive

Stream: triage

Topic: issue #4906: Redefine `linear_map.tensor` to be a bundled...


view this post on Zulip 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?

view this post on Zulip 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?


Last updated: May 09 2021 at 16:20 UTC