mathlib3
0da4ad67 - More general lemma `prime_factorization_pow`

Commit

4 years ago

More general lemma `prime_factorization_pow` with lemma `factors_count_pow` to be moved into `data/nat/prime`

Author

stuart-presnell

Parents