Commit 2021-07-27 23:02 1b0391a2

feat(data/nat/totient): totient_mul (#8441) Also made data/nat/totient import data/zmod/basic instead of the other way round because I think people are more likely to want zmod but not totient than totient but not zmod. Also deleted the deprecated gpowers because it caused a name clash in group_theory/subgroup when the imports were changed.