df-Bvp
Definition.
Arguments:
(sv),
(pr),
Assertions:
((
bound in
)
(
))
(sv), 
(pr), (sv), (pr), bound in )
(
))