]> matita.cs.unibo.it Git - helm.git/commit
A few extensions for the moebius inversion theorem
authorAndrea Asperti <andrea.asperti@unibo.it>
Wed, 9 May 2007 10:55:32 +0000 (10:55 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Wed, 9 May 2007 10:55:32 +0000 (10:55 +0000)
commit06a19bec47845ecffe3bf9d9a95d3d4dadf76861
treeed73ce6ec2c5414ddbdecd827b6c1346f902748b
parentdeec6d7e7a26f2165b17b95a932036325d9a47fe
A few extensions for the moebius inversion theorem
helm/software/matita/library/nat/exp.ma
helm/software/matita/library/nat/gcd.ma
helm/software/matita/library/nat/le_arith.ma
helm/software/matita/library/nat/lt_arith.ma
helm/software/matita/library/nat/ord.ma
helm/software/matita/library/nat/primes.ma
helm/software/matita/library/nat/times.ma