|
|
A Page in Number TheoryKeywords: Matita , Moebius mu function , Euler phi function Abstract: We discuss the formalization, in the Matita Interactive Theorem Prover, of a few elementary results in number theory about the Moebius mu function and the Euler phi function.
|
