]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db9c252) | 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)
commit92165c07e82baa982ec06ff9ab325f97659a3900
treecb771424191aa3f7431016ff3f23916c5100f5dftree | snapshot
parentdb9c252cc8adb9243892203805b203bafe486bfccommit | diff
Further simplifications to the main theorem about Euler's totient function.
helm/software/matita/library/nat/totient1.ma diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.