Zulip Chat Archive
Stream: Is there code for X?
Topic: linear maps
Scott Morrison (Feb 11 2021 at 00:13):
Where do we have smul as a bundled linear map wrt its first argument?
Scott Morrison (Feb 11 2021 at 00:45):
Didn't find that, but I have what I need now.
Eric Wieser (Feb 11 2021 at 00:54):
Possibly linear_map.id.smul_right, docs#linear_map.smul_right?
Anne Baanen (Feb 11 2021 at 11:05):
Last updated: May 02 2025 at 03:31 UTC