Metamath Proof Explorer


Syntax definition carg

Description: Syntax for the argument of a nonzero extended complex number.

Ref Expression
Assertion carg
class Arg