Syntax definition cprvb

Description: Syntax for the provability predicate.

	Ref	Expression
Assertion	cprvb	wff Prv 𝜑