Theorem pow_eq_pow_iff_of_coprime

Modification history

2024-01-08 12:05
Mathlib/Data/Int/GCD.lean
chore: Move `a ^ m = b ^ n ↔ ∃ c, a = c ^ n ∧ b = c ^ m` (#9505) …
Added pow_eq_pow_iff_of_coprimeView on Github →