Theorem Int.eq_pow_of_mul_eq_pow_odd_left

Modification history

2024-07-12 10:19
Mathlib/RingTheory/Int/Basic.lean
fix: rewrite Int.eq_pow_of_mul_eq_pow_* lemmas in terms of Odd (#14671)
Added Int.eq_pow_of_mul_eq_pow_odd_leftView on Github →