cnew - Mathbox for Scott Fenton

	Mathbox for Scott Fenton		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > cnew		Structured version Visualization version GIF version

Syntax Definition cnew 33955

Description: Declare the symbol for the new on function.

**Assertion**
Ref	Expression
cnew	class N

See definition df-new 33960 for more information.

Colors of variables: wff setvar class