Metamath Proof Explorer


Syntax definition csgn

Description: Extend class notation to include the Signum function.

Ref Expression
Assertion csgn class sgn