Metamath Proof Explorer


Syntax definition crqp

Description: Equivalence relation representatives for df-qp .

Ref Expression
Assertion crqp class /Qp