OpenMath Signatures

---

Type System: sts
Content Dictionary: setoid
CD Signature File: setoid.sts

---

official

               
 No Signatures are currently supplied for the
 symbols defined in the setoid Content Dictionary