Metamath Proof Explorer

Syntax definition cxnn0

Description: The set of extended nonnegative integers.

Ref Expression
Assertion cxnn0 
class NN0*