Theorem UniqueFactorizationMonoid.primeFactors_eq_primeFactors_natAbs

Modification history

2026-03-05 11:23
Mathlib/RingTheory/Radical/NatInt.lean
feat: radical lemmas for natural numbers and integers (#35673) …
Added UniqueFactorizationMonoid.primeFactors_eq_primeFactors_natAbsView on Github →