Template
\==(T1,T2)-(i,i)
Description:
T1 is not an logical equivalence of the T2
Copyright © 1997-2013 EDMGROUP (Australia)