matita.cs.unibo.it Git - helm.git/tree - helm/software/matita/library/nat/

drwxr-xr-x		..
-rw-r--r--	7436	chinese_reminder.ma	blob \| history \| raw
-rw-r--r--	6269	compare.ma	blob \| history \| raw
-rw-r--r--	5975	congruence.ma	blob \| history \| raw
-rw-r--r--	7801	count.ma	blob \| history \| raw
-rw-r--r--	8828	div_and_mod.ma	blob \| history \| raw
-rw-r--r--	3352	exp.ma	blob \| history \| raw
-rw-r--r--	2376	factorial.ma	blob \| history \| raw
-rw-r--r--	19146	factorization.ma	blob \| history \| raw
-rw-r--r--	8183	fermat_little_theorem.ma	blob \| history \| raw
-rw-r--r--	17564	gcd.ma	blob \| history \| raw
-rw-r--r--	2975	le_arith.ma	blob \| history \| raw
-rw-r--r--	6030	lt_arith.ma	blob \| history \| raw
-rw-r--r--	7006	minimization.ma	blob \| history \| raw
-rw-r--r--	9098	minus.ma	blob \| history \| raw
-rw-r--r--	3134	nat.ma	blob \| history \| raw
-rw-r--r--	6432	nth_prime.ma	blob \| history \| raw
-rw-r--r--	7564	ord.ma	blob \| history \| raw
-rw-r--r--	9492	orders.ma	blob \| history \| raw
-rw-r--r--	23298	permutation.ma	blob \| history \| raw
-rw-r--r--	2395	plus.ma	blob \| history \| raw
-rw-r--r--	17663	primes.ma	blob \| history \| raw
-rw-r--r--	1909	relevant_equations.ma	blob \| history \| raw
-rw-r--r--	2800	sigma_and_pi.ma	blob \| history \| raw
-rw-r--r--	2879	times.ma	blob \| history \| raw
-rw-r--r--	4260	totient.ma	blob \| history \| raw