Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Decimal expansion
Decimal point
cdp
Next ⟩
df-dp
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cdp
Description:
Decimal point operator. See
df-dp
.
Ref
Expression
Assertion
cdp
class .