`multiplicative` instances (#15719)

Commit

3 years ago

feat(group_theory/group_action/defs): `additive`/`multiplicative` instances (#15719) More action instances involving `additive` and `multiplicative`.

Author

YaelDillies

Parents