Mathlib v3 is deprecated. Go to Mathlib v4

Theorem nat.exists_eq_pow_mul_and_not_dvd

Modification history

2022-09-05 12:48
src/data/nat/factorization/basic.lean
feat(<various>): add a bunch of lemmas for use with Jacobi symbols (#16290) …
Added nat.exists_eq_pow_mul_and_not_dvdView on Github →