Stream: Is there code for X?
Eric Wieser (Dec 02 2020 at 08:47):
Is there a map somewhere with type
A ⊗[R] A →ₗ[R] A which maps
a ⊗ₜ b to
a * b?
Eric Wieser (Dec 02 2020 at 08:49):
library_search found it as docs#algebra.lmul'
Last updated: May 07 2021 at 19:12 UTC