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