Zulip Chat Archive
Stream: Is there code for X?
Topic: mul as an equiv
Bolton Bailey (Sep 19 2023 at 13:54):
Do we have left multiplication as an Equiv from a group to itself?
Damiano Testa (Sep 19 2023 at 13:56):
docs#Equiv.mulLeft, maybe?
Last updated: Dec 20 2023 at 11:08 UTC