Syntax definition bj-cproj

Description: Syntax for the class projection. (Contributed by BJ, 6-Apr-2019)

	Ref	Expression
Assertion	bj-cproj	class ( 𝐴 Proj 𝐵 )