mathlib

44f4d708 - chore(*): use dot-notation for is_conj.symm and is_conj.trans (#9498)

chore(*): use dot-notation for is_conj.symm and is_conj.trans (#9498) renames: * is_conj_refl -> is_conj.refl * is_conj_symm -> is_conj.symm * is_conj_trans -> is_conj.trans