Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Number Theory
Representations of a number as sums of integers
crepr
Next ⟩
df-repr
Metamath Proof Explorer
Ascii
Structured
Syntax definition
crepr
Description:
Representations of a number as a sum of nonnegative integers.
Ref
Expression
Assertion
crepr
class
repr