[Om] Exists Unique

Andrew Robbins andjrob at gmail.com
Fri Feb 22 20:00:45 CET 2013


I couldn't find exists unique anywhere in the content dictionaries, so I
wrote my own. Let me know if it has enough information.

Andrew Robbins
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om/attachments/20130222/2c20960e/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: quant2.ocd
Type: application/octet-stream
Size: 2000 bytes
Desc: not available
URL: <http://openmath.org/pipermail/om/attachments/20130222/2c20960e/attachment.obj>

More information about the Om mailing list