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

drwxr-xr-x		..
-rw-r--r--	10522	chinese_reminder.ma	blob \| history \| raw
-rw-r--r--	7399	compare.ma	blob \| history \| raw
-rw-r--r--	6771	congruence.ma	blob \| history \| raw
-rw-r--r--	10210	count.ma	blob \| history \| raw
-rw-r--r--	9956	div_and_mod.ma	blob \| history \| raw
-rw-r--r--	8648	euler_theorem.ma	blob \| history \| raw
-rw-r--r--	3832	exp.ma	blob \| history \| raw
-rw-r--r--	2729	factorial.ma	blob \| history \| raw
-rw-r--r--	27217	factorization.ma	blob \| history \| raw
-rw-r--r--	12174	fermat_little_theorem.ma	blob \| history \| raw
-rw-r--r--	26937	gcd.ma	blob \| history \| raw
-rw-r--r--	3585	le_arith.ma	blob \| history \| raw
-rw-r--r--	7383	lt_arith.ma	blob \| history \| raw
-rw-r--r--	30824	map_iter_p.ma	blob \| history \| raw
-rw-r--r--	9423	minimization.ma	blob \| history \| raw
-rw-r--r--	10914	minus.ma	blob \| history \| raw
-rw-r--r--	3471	nat.ma	blob \| history \| raw
-rw-r--r--	7291	nth_prime.ma	blob \| history \| raw
-rw-r--r--	9315	ord.ma	blob \| history \| raw
-rw-r--r--	11853	orders.ma	blob \| history \| raw
-rw-r--r--	33168	permutation.ma	blob \| history \| raw
-rw-r--r--	2647	plus.ma	blob \| history \| raw
-rw-r--r--	21768	primes.ma	blob \| history \| raw
-rw-r--r--	2003	relevant_equations.ma	blob \| history \| raw
-rw-r--r--	3320	sigma_and_pi.ma	blob \| history \| raw
-rw-r--r--	3677	times.ma	blob \| history \| raw
-rw-r--r--	4903	totient.ma	blob \| history \| raw