Syntax definition ceqp

Description: Equivalence relation for df-qp .

	Ref	Expression
Assertion	ceqp	$$class{~}_{{\mathbb{Q}}_p}$$