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

drwxr-xr-x		..
-rw-r--r--	10352	chinese_reminder.ma	blob \| history \| raw
-rw-r--r--	7234	compare.ma	blob \| history \| raw
-rw-r--r--	6660	congruence.ma	blob \| history \| raw
-rw-r--r--	10050	count.ma	blob \| history \| raw
-rw-r--r--	9842	div_and_mod.ma	blob \| history \| raw
-rw-r--r--	8592	euler_theorem.ma	blob \| history \| raw
-rw-r--r--	3752	exp.ma	blob \| history \| raw
-rw-r--r--	2674	factorial.ma	blob \| history \| raw
-rw-r--r--	26819	factorization.ma	blob \| history \| raw
-rw-r--r--	12145	fermat_little_theorem.ma	blob \| history \| raw
-rw-r--r--	26978	gcd.ma	blob \| history \| raw
-rw-r--r--	3520	le_arith.ma	blob \| history \| raw
-rw-r--r--	7228	lt_arith.ma	blob \| history \| raw
-rw-r--r--	30209	map_iter_p.ma	blob \| history \| raw
-rw-r--r--	9243	minimization.ma	blob \| history \| raw
-rw-r--r--	10664	minus.ma	blob \| history \| raw
-rw-r--r--	3411	nat.ma	blob \| history \| raw
-rw-r--r--	7178	nth_prime.ma	blob \| history \| raw
-rw-r--r--	9207	ord.ma	blob \| history \| raw
-rw-r--r--	11568	orders.ma	blob \| history \| raw
-rw-r--r--	32413	permutation.ma	blob \| history \| raw
-rw-r--r--	2582	plus.ma	blob \| history \| raw
-rw-r--r--	21472	primes.ma	blob \| history \| raw
-rw-r--r--	1968	relevant_equations.ma	blob \| history \| raw
-rw-r--r--	3240	sigma_and_pi.ma	blob \| history \| raw
-rw-r--r--	3592	times.ma	blob \| history \| raw
-rw-r--r--	4813	totient.ma	blob \| history \| raw