Hi Dan,
here's the 'commutativity' proof of the add function-- I'm not quite
sure if 'symmetric function' is the correct term for it.
Regards,
Thomas
[Download proof at www.dcproof.com/AddFunction_commArgs_TH.proof ]
Yahoo! Groups TipsDid you know...Want your group to be featured on the Yahoo! Groups website? Add a group photo to Flickr. |
Having problems with message search?
Fill out this form to ensure your group is one of the first to be migrated to the new message search system.
|
Offline 
Send Email