Theorem add_pow_prime_eq'

Modification history

2025-11-04 13:39
Mathlib/Algebra/CharP/Lemmas.lean
refactor(Algebra/CharP): strengthen expansion of `(x + y) ^ p ^ n` (#31193) …
Added add_pow_prime_eq'View on Github →