Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.prime_of_coprime

Modification history

2021-08-26 19:37

src/data/nat/prime.lean

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

Added nat.prime_of_coprime View on Github →