Metamath Proof Explorer

Table of Contents - 5.9.2. Signum (sgn or sign) function

  1. csgn
  2. df-sgn
  3. sgnval
  4. sgn0
  5. sgnp
  6. sgnrrp
  7. sgn1
  8. sgnpnf
  9. sgnn
  10. sgnmnf