df-neq
Definition.
Arguments:
(obj),
(obj),
Assertions:
((
)
(
))
(obj), 
(obj), (obj), (obj), 
)
(
))