Mathlib v3 is deprecated. Go to Mathlib v4

Theorem eq_of_prime_pow_eq'

Modification history

2022-11-11 10:11
src/algebra/associated.lean
chore(data/nat/prime): add 2 aliases (#17372) …
Modified eq_of_prime_pow_eq'View on Github →
2022-01-27 23:05
src/algebra/is_prime_pow.lean
feat(data/nat): a predicate for prime powers (#11313) …
Added eq_of_prime_pow_eq'View on Github →