Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_conj.refl

Modification history

2021-10-03 20:33
src/algebra/group/conj.lean
chore(*): use dot-notation for is_conj.symm and is_conj.trans (#9498) …
Added is_conj.reflView on Github →