Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Extract equalities from a list of assumptions

Hi, how can I recognize an equality from an inequality, in a list of assumptions?

thanks,