Changes between Version 7 and Version 8 of TypeNats/Axioms


Ignore:
Timestamp:
Dec 23, 2010 11:56:51 PM (5 years ago)
Author:
diatchki
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Axioms

    v7 v8  
    4848log1:        1 ^ a ~ 1 
    4949 
    50 (m ^ a ~ a) <=> False           -- m /= 1 
    51 (a ^ m ~ a) <=> (a <= 1)        -- 2 <= m 
     50m ^ a ~ a => m ~ 1 
     51a ^ m ~ a => a <= 1        -- 2 <= m 
    5252}}} 
    5353