Metamath Proof Explorer


Syntax definition cprpr

Description: Extend class notation with set of proper unordered pairs.

Ref Expression
Assertion cprpr class PrPairs