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