Changes between Version 1 and Version 2 of TypeNats/Interact1


Ignore:
Timestamp:
Dec 15, 2010 6:05:49 PM (5 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Interact1

    v1 v2  
    4343}}}
    4444
    45 Top-level interactions for ^
     45Top-level interactions for {{{^}}}
    4646{{{
    4747(m ^ n ~ k) <=> {m ^ n} = k