OpenMath Signatures


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


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