Metamath Proof Explorer


Syntax definition cen

Description: Extend class definition to include the equinumerosity relation ("approximately equals" symbol)

Ref Expression
Assertion cen
class ~~