Theorem Nat.prod_primeFactors_dvd_iff

Modification history

2026-06-26 12:41
Mathlib/Data/Nat/Squarefree.lean
feat(Data/Nat): a number divides a power of its own radical (#40170) …
Added Nat.prod_primeFactors_dvd_iffView on Github →