First time here? Check out the FAQ!
asked 2016-01-03 14:49:04 +0100
Hi, how can I recognize an equality from an inequality, in a list of assumptions?
thanks,