Syntax Definition cen 3271

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

Assertion

Ref	Expression
cen	class ≈

See definition df-en 3274 for more information.

metamath.org