Metamath Proof Explorer


Syntax definition cnew

Description: Declare the symbol for the new on function.

Ref Expression
Assertion cnew Could not format assertion : No typesetting found for class _New with typecode class