]> matita.cs.unibo.it Git - helm.git/tree - helm/matita/library/nat/
fix
[helm.git] / helm / matita / library / nat /
drwxr-xr-x   ..
-rw-r--r-- 6 .cvsignore
-rw-r--r-- 7615 chinese_reminder.ma
-rw-r--r-- 6269 compare.ma
-rw-r--r-- 5629 congruence.ma
-rw-r--r-- 7987 count.ma
-rw-r--r-- 8485 div_and_mod.ma
-rw-r--r-- 3353 exp.ma
-rw-r--r-- 2376 factorial.ma
-rw-r--r-- 18983 factorization.ma
-rw-r--r-- 7388 fermat_little_theorem.ma
-rw-r--r-- 17506 gcd.ma
-rw-r--r-- 2975 le_arith.ma
-rw-r--r-- 6182 lt_arith.ma
-rw-r--r-- 7006 minimization.ma
-rw-r--r-- 9098 minus.ma
-rw-r--r-- 3016 nat.ma
-rw-r--r-- 6482 nth_prime.ma
-rw-r--r-- 6155 ord.ma
-rw-r--r-- 9413 orders.ma
-rw-r--r-- 23418 permutation.ma
-rw-r--r-- 2395 plus.ma
-rw-r--r-- 17929 primes.ma
-rw-r--r-- 1703 primes1.ma
-rw-r--r-- 1821 relevant_equations.ma
-rw-r--r-- 2800 sigma_and_pi.ma
-rw-r--r-- 2764 times.ma
-rw-r--r-- 3226 totient.ma