totient): add nat.totient_prime_iff (#8833)

Commit

4 years ago

feat(data/nat/totient): add nat.totient_prime_iff (#8833) Co-authored-by: Johan Commelin <johan@commelin.net>

Author

Ruben-VandeVelde

Parents