Syntax Definition wcmtr 28

Description: If a and b are terms, so is C (a, b).

Hypotheses

Ref	Expression
wva	term  a
wvb	term  b

Assertion

Ref	Expression
wcmtr	term  C (a, b)

See definition df-cmtr 126 for more information.

metamath.org