Metamath Proof Explorer


Syntax definition csgns

Description: Extend class notation to include the Signum function.

Ref Expression
Assertion csgns class sgn s