Talk:Euler Phi Function of Integer

Following the evolution of ProofWiki's style, perhaps the "alternative formulation" should be its own theorem? Certainly at least a corollary. --GFauxPas (talk) 14:59, 19 December 2014 (UTC)

Good call. It certainly merits having the refactor template invoked. We can ponder how it ought to be presented. --prime mover (talk) 19:04, 19 December 2014 (UTC)