Metamath Proof Explorer


Syntax definition cnew

Description: Declare the symbol for the new on function.

Ref Expression
Assertion cnew class N