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

drwxr-xr-x		..
-rw-r--r--	7436	chinese_reminder.ma	blob \| history \| raw
-rw-r--r--	7028	compare.ma	blob \| history \| raw
-rw-r--r--	5980	congruence.ma	blob \| history \| raw
-rw-r--r--	7801	count.ma	blob \| history \| raw
-rw-r--r--	9575	div_and_mod.ma	blob \| history \| raw
-rw-r--r--	10210	div_and_mod_new.ma	blob \| history \| raw
-rw-r--r--	8512	euler_theorem.ma	blob \| history \| raw
-rw-r--r--	4824	exp.ma	blob \| history \| raw
-rw-r--r--	2376	factorial.ma	blob \| history \| raw
-rw-r--r--	19442	factorization.ma	blob \| history \| raw
-rw-r--r--	8183	fermat_little_theorem.ma	blob \| history \| raw
-rw-r--r--	22332	gcd.ma	blob \| history \| raw
-rw-r--r--	14299	gcd_properties1.ma	blob \| history \| raw
-rw-r--r--	28505	generic_sigma_p.ma	blob \| history \| raw
-rw-r--r--	20421	iteration2.ma	blob \| history \| raw
-rw-r--r--	3908	le_arith.ma	blob \| history \| raw
-rw-r--r--	8060	lt_arith.ma	blob \| history \| raw
-rw-r--r--	26192	map_iter_p.ma	blob \| history \| raw
-rw-r--r--	7887	minimization.ma	blob \| history \| raw
-rw-r--r--	10379	minus.ma	blob \| history \| raw
-rw-r--r--	3144	nat.ma	blob \| history \| raw
-rw-r--r--	6671	nth_prime.ma	blob \| history \| raw
-rw-r--r--	12026	ord.ma	blob \| history \| raw
-rw-r--r--	10086	orders.ma	blob \| history \| raw
-rw-r--r--	23905	permutation.ma	blob \| history \| raw
-rw-r--r--	2494	plus.ma	blob \| history \| raw
-rw-r--r--	18677	primes.ma	blob \| history \| raw
-rw-r--r--	11629	propr_div_mod_lt_le_totient1_aux.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--	3102	times.ma	blob \| history \| raw
-rw-r--r--	4260	totient.ma	blob \| history \| raw