mathlib
5fe43a91 - feat(linear_algebra/trace): trace of tensor_products and hom_tensor_hom is an equivalence (#13728)

Commit

3 years ago

feat(linear_algebra/trace): trace of tensor_products and hom_tensor_hom is an equivalence (#13728) Co-authored-by: antoinelab01 <66086247+antoinelab01@users.noreply.github.com>

Author

antoinelab01

Parents

259c951d

mathlib 5fe43a91 - feat(linear_algebra/trace): trace of tensor_products and hom_tensor_hom is an equivalence (#13728)

mathlib
5fe43a91 - feat(linear_algebra/trace): trace of tensor_products and hom_tensor_hom is an equivalence (#13728)