]> matita.cs.unibo.it Git - helm.git/history - helm/software/matita/library/nat/euler_theorem.ma
- transcript: bugfix
[helm.git] / helm / software / matita / library / nat / euler_theorem.ma
2009-04-15 Ferruccio Guidi- transcript: bugfix
2008-02-18 Andrea AspertiComplete proof of Bertrand for n >= 256.
2007-11-19 Andrea AspertiTowards chebyshev.
2007-06-30 Cristian ArmentanoNew definition of Euler's totient function.
2007-05-24 Enrico Tassiauto and autogui... some work
2007-03-16 Andrea AspertiExtensions required for the moebius function (in Z).
2006-12-18 Andrea AspertiRenamed iterative into map_iter_p and moved around...
2006-12-18 Andrea AspertiProof of Euler theorem.