]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 79d584e) | patch
New definition of Euler's totient function.
authorCristian Armentano <??>
Sat, 30 Jun 2007 17:15:15 +0000 (17:15 +0000)
committerCristian Armentano <??>
Sat, 30 Jun 2007 17:15:15 +0000 (17:15 +0000)
commit3ed7d56cf4fab7401f8b400c45b2e35579ba71dd
treeedfe3168f87a7a6a2e811dfdce0210c8f86e86aetree | snapshot
parent79d584e8f049226ec9cf68e9e06880ed0d95af51commit | diff
New definition of Euler's totient function.
New theorems about sigma_p (invoked with an always true predicate).
Theorem about the sum of totient invocations on the divisors of a natural number.
helm/software/matita/library/nat/euler_theorem.ma diff | blob | history
helm/software/matita/library/nat/generic_sigma_p.ma diff | blob | history
helm/software/matita/library/nat/iteration2.ma diff | blob | history
helm/software/matita/library/nat/totient.ma diff | blob | history
helm/software/matita/library/nat/totient1.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.