matita.cs.unibo.it Git - helm.git/tree - matita/matita/lib/arithmetics/

drwxr-xr-x		..
-rw-r--r--	15693	bigops.ma	blob \| history \| raw
-rw-r--r--	6711	binomial.ma	blob \| history \| raw
-rw-r--r--	2097	bounded_quantifiers.ma	blob \| history \| raw
drwxr-xr-x	-	chebyshev	tree \| history
-rw-r--r--	4773	chinese_reminder.ma	blob \| history \| raw
-rw-r--r--	3682	congruence.ma	blob \| history \| raw
-rw-r--r--	12260	div_and_mod.ma	blob \| history \| raw
-rw-r--r--	5038	exp.ma	blob \| history \| raw
-rw-r--r--	4870	factorial.ma	blob \| history \| raw
-rw-r--r--	6690	fermat_little_theorem.ma	blob \| history \| raw
-rw-r--r--	13631	gcd.ma	blob \| history \| raw
-rw-r--r--	1436	iteration.ma	blob \| history \| raw
-rw-r--r--	6963	log.ma	blob \| history \| raw
-rw-r--r--	5615	lstar.ma	blob \| history \| raw
-rw-r--r--	10379	minimization.ma	blob \| history \| raw
-rw-r--r--	24142	nat.ma	blob \| history \| raw
-rw-r--r--	9808	nat_commented.ma	blob \| history \| raw
-rw-r--r--	6208	nth_prime.ma	blob \| history \| raw
-rw-r--r--	13175	ord.ma	blob \| history \| raw
-rw-r--r--	10752	permutation.ma	blob \| history \| raw
-rw-r--r--	3708	pidgeon_hole.ma	blob \| history \| raw
-rw-r--r--	14517	primes.ma	blob \| history \| raw
-rw-r--r--	6738	sigma_pi.ma	blob \| history \| raw
-rw-r--r--	6897	sqrt.ma	blob \| history \| raw