asked 9 years ago
Hi, how can I recognize an equality from an inequality, in a list of assumptions?
thanks,