Metamath Proof Explorer


Syntax definition cabs

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

Ref Expression
Assertion cabs
class abs