Syntax definition crqp

Description: Equivalence relation representatives for df-qp .

	Ref	Expression
Assertion	crqp	$$class{/}_{{\mathbb{Q}}_p}$$