]> matita.cs.unibo.it Git - helm.git/commit
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
tree22f03dfe2628e150177aff736c50a6489ca29111
parent0e3bc3fa58be1c7424575bbb40899eb2344de983
Proof of Euler theorem.
helm/software/matita/library/nat/euler_theorem.ma [new file with mode: 0644]
helm/software/matita/library/nat/gcd.ma
helm/software/matita/library/nat/iteration.ma [new file with mode: 0644]
helm/software/matita/library/nat/permutation.ma