]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8097af9) | patch
Further simplifications to the main theorem about Euler's totient function.
authorCristian Armentano <??>
Thu, 20 Sep 2007 16:29:45 +0000 (16:29 +0000)
committerCristian Armentano <??>
Thu, 20 Sep 2007 16:29:45 +0000 (16:29 +0000)
commitabb8fb7bac467824eb6f21a540e08599e0824b2c
tree6a03331fb21528417acb6b38fb249c555afd6895tree | snapshot
parent8097af927e3e0f80c6dd2cb219b38f18e81df2a6commit | diff
Further simplifications to the main theorem about Euler's totient function.
matita/library/nat/totient1.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.