]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 087ece8) | patch
lower bound for neper's constant
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 5 Feb 2008 15:10:20 +0000 (15:10 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Tue, 5 Feb 2008 15:10:20 +0000 (15:10 +0000)
commit52cfc3c337a48d52e9d2a8e4e761fa933f161103
tree1708642d041463c3b12e42a5c1bda715c3f85764tree | snapshot
parent087ece87a4dc39b2e1d2350ed7472fe370e4e6b7commit | diff
lower bound for neper's constant
helm/software/matita/library/nat/neper.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.