Metamath Proof Explorer

Syntax definition bj-cpr2

Description: Syntax for the second class tuple projection. (Contributed by BJ, 6-Oct-2018)

		Ref	Expression
	Assertion	bj-cpr2	class pr₂ 𝐴