Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_conj_comm

Modification history

2022-05-19 19:16
src/algebra/group/conj.lean
feat(algebra/group/conj): instances + misc (#13943)
Added is_conj_commView on Github →