(P5610)

English

OpenMath ID

OpenMath content dictionary symbol

In more languages
default for all languages
No label defined

No description defined

Data type

External identifier

Statements

Constraints