PR #10372: feat(linear_algebra/trace): dual_tensor_hom i...

Stream: triage

[Random Issue Bot]

Today I chose PR 10372 for discussion!

feat(linear_algebra/trace): dual_tensor_hom is an equivalence + basis-free characterization of the trace
Created by @None (@antoinelab01) on 2021-11-17
Labels: awaiting-author

Is this PR still relevant? Any recent updates? Anyone making progress?