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