List of theorems referencing the symbol DOT_NEQ

(46) Theorem one_1_test.1: [One-one map former test] ((x_thryvar in s) & (y_thryvar in s) & (((a(x_thryvar) = a(y_thryvar)) •neq (b(x_thryvar) = b(y_thryvar))))) or one_1_map({[a(x),b(x)]: x in s})