]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 18a3f1f) | 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)
commit6c8f66d57aa3da3b91ff6c76442424dfe2eeceaf
treee11fcaa1775d473aa7d752a68ded0fcbb45f3d76tree | snapshot
parent18a3f1f03b3f3b12f13f9d1b5fbc767b9dc14759commit | 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.
matita/library/nat/euler_theorem.ma diff | blob | history
matita/library/nat/generic_sigma_p.ma diff | blob | history
matita/library/nat/iteration2.ma diff | blob | history
matita/library/nat/totient.ma diff | blob | history
matita/library/nat/totient1.ma [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.