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