This repository has been archived by the owner on Jul 24, 2024. It is now read-only.
[Merged by Bors] - feat(linear_algebra/trace): dual_tensor_hom is an equivalence + basis-free characterization of the trace#10372
Closed
antoinelab01 wants to merge 43 commits intomasterfrom trace
+162-19
Commits
Commits on Nov 17, 2021
- committed
- committed
Commits on Nov 18, 2021
Commits on Nov 19, 2021
Commits on Nov 22, 2021
- committed
- committed
Commits on Nov 23, 2021
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 29, 2021
Commits on Jan 11, 2022
Commits on Mar 9, 2022
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Mar 10, 2022
Commits on Mar 15, 2022
Commits on Apr 5, 2022
Commits on Apr 6, 2022
- committed
Commits on Apr 13, 2022
Commits on Apr 14, 2022
- committed