chore(Logic/Equiv): golf entire trans_symm_eq_symm_trans_symm using rfl (#28565)
trans_symm_eq_symm_trans_symm
rfl