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