Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.eq_pow_of_factorization_eq_single

Modification history

2022-03-26 12:20
src/data/nat/factorization.lean
feat(algebra/is_prime_pow): add `is_prime_pow_iff_factorization_single` (#12167) …
Added nat.eq_pow_of_factorization_eq_singleView on Github →