Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.totient_eq_iff_prime

Modification history

2021-08-26 19:37

src/data/nat/totient.lean

feat(data/nat/totient): add nat.totient_prime_iff (#8833)

Added nat.totient_eq_iff_prime View on Github →