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: May 02 2025 at 03:31 UTC