Commit 2022-08-17 09:39 4e76ad05
View on Github →feat(group_theory/group_action/defs): additive
/multiplicative
instances (#15719)
More action instances involving additive
and multiplicative
.
feat(group_theory/group_action/defs): additive
/multiplicative
instances (#15719)
More action instances involving additive
and multiplicative
.