Commit 2020-12-08 22:41 1e3447b8
View on Github →chore(data/equiv/mul_add): Split out the group structure on automorphisms (#5281)
This prevents group_theory.perm.basic
being imported into lots of files that don't care about permutations.
The argument here is that add_aut
is to add_equiv
as perm
is to equiv
: perm
gets its group structure in a separate file to where equiv
is defined, so add_aut
, mul_aut
, and ring_aut
should too.
This adds back imports of group_theory.perm.basic
to downstream files that inherited them through data.equiv.mul_add
.