inverse of homTensorHomMap

Stream: Is there code for X?

[Iván Renison]

Hi, we have docs#TensorProduct.homTensorHomMap of type (M →ₗ[R] P) ⊗[R] (N →ₗ[R] Q) →ₗ[R] M ⊗[R] N →ₗ[R] P ⊗[R] Q, but, do you know if we have the inverse of this?
It does not seems easy to probe

[Eric Wieser]

docs#homTensorHomEquiv

[Iván Renison]

Great! Thank you very much!

[Eric Wieser]

Note that I found this just by guessing the name and letting the search box autocomplete it

[Iván Renison]

Ok, thank you for letting me know

[Iván Renison]

I tried a lot of things to find it, but I didn't think of trying that name :man_facepalming: