Ignore:
Timestamp:
Dec 1, 2010, 4:30:46 PM (9 years ago)
Author:
mulligan
Message:

No more axioms but the paralogisms.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Matita/Exponential.ma

    r268 r351  
    6161nqed.
    6262
     63(*
    6364naxiom exponential_addition_exponential_multiplication:
    6465  ∀m, n, o: Nat.
    6566    (m^n) * (m^o) = m^(n + o).
    6667
    67 (*
    6868nlemma exponential_exponential_multiplication:
    6969  ∀m, n, o: Nat.
Note: See TracChangeset for help on using the changeset viewer.