]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd3eb05) | patch
Chebyshev's upper bound on prim
authorWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 14 Jan 2008 07:43:37 +0000 (07:43 +0000)
committerWilmer Ricciotti <ricciott@cs.unibo.it>
Mon, 14 Jan 2008 07:43:37 +0000 (07:43 +0000)
commit95f5a6fa9824a2dfef74e99379894b08357a16c6
tree0c4fd14c25b1f5139c8a57b667f74a54ed1a3e1atree | snapshot
parentfd3eb05be0d27238298a040c55e70128b735e2d4commit | diff
Chebyshev's upper bound on prim
helm/software/matita/library/nat/chebyshev_thm.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.