]> matita.cs.unibo.it Git - helm.git/commit
Main inequalities for e.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 10 Dec 2007 08:43:07 +0000 (08:43 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 10 Dec 2007 08:43:07 +0000 (08:43 +0000)
commit1f214ad28b490ed66602eb2d80359c01ba55ee05
tree142bdf13efcad544a567dd08d67fe40d9a326c43
parent892992b24f5476c2b4eed13f64e04854ef919020
Main inequalities for e.
helm/software/matita/library/nat/binomial.ma
helm/software/matita/library/nat/exp.ma
helm/software/matita/library/nat/iteration2.ma
helm/software/matita/library/nat/neper.ma