Changes between Version 1 and Version 2 of TypeNats/Interact1


Ignore:
Timestamp:
Dec 15, 2010 6:05:49 PM (3 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