]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0e3bc3f) | patch
Proof of Euler theorem.
authorAndrea Asperti <andrea.asperti@unibo.it>
Mon, 18 Dec 2006 10:09:01 +0000 (10:09 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Mon, 18 Dec 2006 10:09:01 +0000 (10:09 +0000)
commitff5d15158c83a1f45d78daf99f22de83aed3eab0
tree22f03dfe2628e150177aff736c50a6489ca29111tree | snapshot
parent0e3bc3fa58be1c7424575bbb40899eb2344de983commit | diff
Proof of Euler theorem.
helm/software/matita/library/nat/euler_theorem.ma [new file with mode: 0644] blob
helm/software/matita/library/nat/gcd.ma diff | blob | history
helm/software/matita/library/nat/iteration.ma [new file with mode: 0644] blob
helm/software/matita/library/nat/permutation.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.