Metamath Proof Explorer


Syntax definition cdc

Description: Constant used for decimal constructor.

Ref Expression
Assertion cdc
class ; A B