Mathlib Changelog
v4
Changelog
About
Github
Theorem
pow_mem_range_pow_of_coprime
Modification history
2024-01-08 12:05
Mathlib/Algebra/GroupWithZero/Power.lean
chore: Move `a ^ m = b ^ n ↔ ∃ c, a = c ^ n ∧ b = c ^ m` (#9505) …
Modified
pow_mem_range_pow_of_coprime
View on Github →
2024-01-06 20:00
Mathlib/Algebra/GroupWithZero/Power.lean
feat: Criteria for `X ^ n - C a` to be irreducible for odd `n`. (#9397)
Added
pow_mem_range_pow_of_coprime
View on Github →