]> matita.cs.unibo.it Git - helm.git/commit
Euler totient function is multiplicative!
authorAndrea Asperti <andrea.asperti@unibo.it>
Thu, 3 Nov 2005 12:52:00 +0000 (12:52 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Thu, 3 Nov 2005 12:52:00 +0000 (12:52 +0000)
commitcca04138889cd0dbafb669a5c3fd8abe424d699e
tree6db7cea094824956d4b0c8e38c2d0f08d6c213b1
parent82d56e6d22560ffb111c63cfdf0e200c8fa6fd3d
Euler totient function is multiplicative!
helm/matita/library/nat/count.ma
helm/matita/library/nat/gcd.ma
helm/matita/library/nat/primes.ma
helm/matita/library/nat/totient.ma