Changes between Version 5 and Version 6 of TypeNats/Axioms


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeNats/Axioms

    v5 v6  
    4141}}}
    4242
     43Exponentiation:
     44{{{
     45expDef:      m ^ n ~ k    -- {m ^ n == k}
     46exp0:        a ^ 0 ~ 1
     47exp1:        a ^ 1 ~ a
     48log1:        1 ^ a ~ 1
     49
     50(m ^ a ~ a) <=> False           -- m /= 1
     51(a ^ m ~ a) <=> (a <= 1)        -- 2 <= m
     52}}}
     53
    4354Interactions:
    4455{{{