Mathlib v3 is deprecated. Go to Mathlib v4

Theorem conj_injective

Modification history

2021-01-21 11:17
src/algebra/group/conj.lean
chore(algebra/group/conj): move `conj_injective` and use existing proofs (#5798)
Modified conj_injectiveView on Github →
2020-06-18 22:26
src/group_theory/order_of_element.lean
chore(*): regularize naming using injective (#3071) …
Added conj_injectiveView on Github →