matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/nat/totient1.ma

]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/nat/totient1.ma

2008-02-18	Andrea Asperti	Complete proof of Bertrand for n >= 256.	blob \| commitdiff \| raw
2007-09-20	Cristian Armentano	Further simplifications to the main theorem about Euler...	blob \| commitdiff \| raw \| diff to current
2007-09-19	Cristian Armentano	* Some simplifications to theorem in file totient1.ma.	blob \| commitdiff \| raw \| diff to current
2007-09-18	Cristian Armentano	some theorems have been moved to more appropriate files...	blob \| commitdiff \| raw \| diff to current
2007-09-10	Cristian Armentano	other simplifications.	blob \| commitdiff \| raw \| diff to current
2007-09-07	Cristian Armentano	some simplifications.	blob \| commitdiff \| raw \| diff to current
2007-07-30	Cristian Armentano	renamed generic_sigma_p.ma to generic_iter_p.ma	blob \| commitdiff \| raw \| diff to current
2007-06-30	Cristian Armentano	New definition of Euler's totient function.	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.