Metamath Proof Explorer


Syntax definition crepr

Description: Representations of a number as a sum of nonnegative integers.

Ref Expression
Assertion crepr
class repr