cdp2 - Mathbox for Thierry Arnoux

	Mathbox for Thierry Arnoux		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > cdp2		Structured version Visualization version GIF version

Syntax Definition cdp2 31145

Description: Constant used for decimal fraction constructor. See df-dp2 31146.

**Hypotheses**
Ref	Expression
cA	class 𝐴
cB	class 𝐵

**Assertion**
Ref	Expression
cdp2	class _𝐴𝐵

See definition df-dp2 31146 for more information.

Colors of variables: wff setvar class