Fungrim home page

Fungrim entry: cb410e

φ(p)=p1\varphi(p) = p - 1
Assumptions:pPp \in \mathbb{P}
TeX:
\varphi(p) = p - 1

p \in \mathbb{P}
Definitions:
Fungrim symbol Notation Short description
Totientφ(n)\varphi(n) Euler totient function
PPP\mathbb{P} Prime numbers
Source code for this entry:
Entry(ID("cb410e"),
    Formula(Equal(Totient(p), Sub(p, 1))),
    Variables(p),
    Assumptions(Element(p, PP)))

Topics using this entry

Copyright (C) Fredrik Johansson and contributors. Fungrim is provided under the MIT license. The source code is on GitHub.

2021-03-15 19:12:00.328586 UTC