Syntax Definition cabs 4789

Description: Extend class notation to include a function for the absolute value (modulus) of a complex number.

Assertion

Ref	Expression
cabs	class abs

See definition df-abs 4793 for more information.

metamath.org