mathlib3

feat(group_theory/conjugates) : define conjugates

#1029

Merged