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

drwxr-xr-x		..
-rw-r--r--	10066	binomial.ma	blob \| history \| raw
-rw-r--r--	44084	chebyshev.ma	blob \| history \| raw
-rw-r--r--	14949	chebyshev_thm.ma	blob \| history \| raw
-rw-r--r--	7376	chinese_reminder.ma	blob \| history \| raw
-rw-r--r--	7926	compare.ma	blob \| history \| raw
-rw-r--r--	5937	congruence.ma	blob \| history \| raw
-rw-r--r--	7763	count.ma	blob \| history \| raw
-rw-r--r--	10632	div_and_mod.ma	blob \| history \| raw
-rw-r--r--	8404	div_and_mod_diseq.ma	blob \| history \| raw
-rw-r--r--	10040	div_and_mod_new.ma.dontcompile	blob \| history \| raw
-rw-r--r--	12070	euler_theorem.ma	blob \| history \| raw
-rw-r--r--	6254	exp.ma	blob \| history \| raw
-rw-r--r--	2334	factorial.ma	blob \| history \| raw
-rw-r--r--	6686	factorial2.ma	blob \| history \| raw
-rw-r--r--	22484	factorization.ma	blob \| history \| raw
-rw-r--r--	8129	fermat_little_theorem.ma	blob \| history \| raw
-rw-r--r--	25070	gcd.ma	blob \| history \| raw
-rw-r--r--	8655	gcd_properties1.ma	blob \| history \| raw
-rw-r--r--	49874	generic_iter_p.ma	blob \| history \| raw
-rw-r--r--	28198	iteration2.ma	blob \| history \| raw
-rw-r--r--	4362	le_arith.ma	blob \| history \| raw
-rw-r--r--	11461	log.ma	blob \| history \| raw
-rw-r--r--	14414	lt_arith.ma	blob \| history \| raw
-rw-r--r--	25356	map_iter_p.ma	blob \| history \| raw
-rw-r--r--	10980	minimization.ma	blob \| history \| raw
-rw-r--r--	11108	minus.ma	blob \| history \| raw
-rw-r--r--	3108	nat.ma	blob \| history \| raw
-rw-r--r--	23987	neper.ma	blob \| history \| raw
-rw-r--r--	6193	nth_prime.ma	blob \| history \| raw
-rw-r--r--	16489	ord.ma	blob \| history \| raw
-rw-r--r--	11651	orders.ma	blob \| history \| raw
-rw-r--r--	23861	permutation.ma	blob \| history \| raw
-rw-r--r--	10343	pi_p.ma	blob \| history \| raw
-rw-r--r--	2457	plus.ma	blob \| history \| raw
-rw-r--r--	21943	primes.ma	blob \| history \| raw
-rw-r--r--	2059	relevant_equations.ma	blob \| history \| raw
-rw-r--r--	2755	sigma_and_pi.ma	blob \| history \| raw
-rw-r--r--	3064	times.ma	blob \| history \| raw
-rw-r--r--	5052	totient.ma	blob \| history \| raw
-rw-r--r--	8101	totient1.ma	blob \| history \| raw