Theorem exists_add_pow_prime_pow_eq

Modification history

2024-10-24 20:59
Mathlib/Algebra/CharP/Basic.lean
chore(Algebra/CharP): reduce theory requirements for `CharP.Defs` (#18182) …
Modified exists_add_pow_prime_pow_eqView on Github →
2024-10-14 10:52
Mathlib/Algebra/CharP/Basic.lean
refactor(CharP): make variables explicit + refactor (#14416) …
Modified exists_add_pow_prime_pow_eqView on Github →
2023-04-01 16:09
Mathlib/Algebra/CharP/Basic.lean
chore: re-port Algebra.CharP.Basic (#3191) …
Added exists_add_pow_prime_pow_eqView on Github →