Metamath Proof Explorer

Table of Contents - 20.3.9.10. Signum in an ordered monoid

1. csgns
2. df-sgns
3. sgnsv
4. sgnsval
5. sgnsf