Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_conj.trans

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.trans View on Github →