mathlib3

b3a21123 - chore(algebra/group/conj): move `conj_injective` and use existing proofs (#5798)