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

drwxr-xr-x		..
-rw-r--r--	10372	chinese_reminder.ma	blob \| history \| raw
-rw-r--r--	7239	compare.ma	blob \| history \| raw
-rw-r--r--	6670	congruence.ma	blob \| history \| raw
-rw-r--r--	10065	count.ma	blob \| history \| raw
-rw-r--r--	9806	div_and_mod.ma	blob \| history \| raw
-rw-r--r--	8602	euler_theorem.ma	blob \| history \| raw
-rw-r--r--	3757	exp.ma	blob \| history \| raw
-rw-r--r--	2679	factorial.ma	blob \| history \| raw
-rw-r--r--	26834	factorization.ma	blob \| history \| raw
-rw-r--r--	12165	fermat_little_theorem.ma	blob \| history \| raw
-rw-r--r--	26983	gcd.ma	blob \| history \| raw
-rw-r--r--	3530	le_arith.ma	blob \| history \| raw
-rw-r--r--	7233	lt_arith.ma	blob \| history \| raw
-rw-r--r--	30219	map_iter_p.ma	blob \| history \| raw
-rw-r--r--	9248	minimization.ma	blob \| history \| raw
-rw-r--r--	10674	minus.ma	blob \| history \| raw
-rw-r--r--	3411	nat.ma	blob \| history \| raw
-rw-r--r--	7188	nth_prime.ma	blob \| history \| raw
-rw-r--r--	9223	ord.ma	blob \| history \| raw
-rw-r--r--	11573	orders.ma	blob \| history \| raw
-rw-r--r--	32423	permutation.ma	blob \| history \| raw
-rw-r--r--	2587	plus.ma	blob \| history \| raw
-rw-r--r--	21492	primes.ma	blob \| history \| raw
-rw-r--r--	1983	relevant_equations.ma	blob \| history \| raw
-rw-r--r--	3255	sigma_and_pi.ma	blob \| history \| raw
-rw-r--r--	3597	times.ma	blob \| history \| raw
-rw-r--r--	4823	totient.ma	blob \| history \| raw