Metamath Proof Explorer


Syntax definition cdc

Description: Constant used for decimal constructor.

Ref Expression
Assertion cdc Could not format assertion : No typesetting found for class ; A B with typecode class