Syntax definition crqp

Description: Equivalence relation representatives for df-qp .

	Ref	Expression
Assertion	crqp	class /Qp