bv-∀b

Theorem.

Arguments:

(sv), (pr),

Assertions:

( bound in )

Proof:

Hyp	Ref	Line	Expr
	fv-alx	1	()
1	df-Bvp	2	( bound in )