]> 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)
commit314d68672678df5b00359145150395fcba8b4e8c
tree20c461cc9a175a24e67080c0808cc795f5533f30
parentefce71f56f343e316b2cd4834cbf3f5dcb3571eb
A few extensions for the moebius inversion theorem
matita/library/nat/exp.ma
matita/library/nat/gcd.ma
matita/library/nat/le_arith.ma
matita/library/nat/lt_arith.ma
matita/library/nat/ord.ma
matita/library/nat/primes.ma
matita/library/nat/times.ma