Theorem dvd_pow_pow_sub_self_of_dvd

Modification history

2025-10-23 23:46
Mathlib/Algebra/Ring/GeomSum.lean
feat(FieldTheory): construct extension of finite field (#30738) …
Added dvd_pow_pow_sub_self_of_dvdView on Github →