Commit 2021-10-03 20:33 44f4d708
View on Github →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
chore(*): use dot-notation for is_conj.symm and is_conj.trans (#9498) renames: