Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.prime.is_prime_pow

Modification history

2022-11-11 10:11
src/algebra/is_prime_pow.lean
chore(data/nat/prime): add 2 aliases (#17372) …
Modified nat.prime.is_prime_powView on Github →
2022-02-19 19:27
src/algebra/is_prime_pow.lean
feat(algebra/is_prime_pow): dot notation for nat.prime (#12145)
Added nat.prime.is_prime_powView on Github →