_≠_

Definitions:

any, any
Source: /avail/Avail/Foundation/Early Logic
Categories: Mathematics, Relations
Are the arguments unequal?
Position Name Type Description
Parameters
1 a any A value.
2 b any A value.
Returns boolean true if the arguments are not equal, false otherwise.