--- aliases: ["equivariance"] --- Equivariant and invariant coincide for abelian groups...?