(P5610)

English

OpenMath ID

OpenMath content dictionary symbol

Data type

External identifier

Statements

Constraints