Commit 2020-05-01 07:42 67f3fdea

View on Github →

feat(algebra/group_ring_action) define group actions on rings (#2566) Define group action on rings. Related Zulip discussions:

Estimated changes