]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51decb8) | 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)
commit6d5f1a19aaa18813dca94b4e2e7e5ee3b97b4e4b
tree3863c65c4df9efd1633feca45b320512913c554etree | snapshot
parent51decb89951a32719241043e9fd0c9dba1ad9f4fcommit | diff
Proof of Euler theorem.
matita/library/nat/euler_theorem.ma [new file with mode: 0644] blob
matita/library/nat/gcd.ma diff | blob | history
matita/library/nat/iteration.ma [new file with mode: 0644] blob
matita/library/nat/permutation.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.