Syntax definition bj-cpr1

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

	Ref	Expression
Assertion	bj-cpr1	class pr1 𝐴