Theorem UniqueFactorizationMonoid.radical_pow_dvd

Modification history

2026-03-21 11:04
Mathlib/RingTheory/Radical/Basic.lean
feat: four miscellaneous number theory lemmas (#36799) …
Added UniqueFactorizationMonoid.radical_pow_dvdView on Github →