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 31047

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

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

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

See definition df-dp2 31048 for more information.

Colors of variables: wff setvar class