Theorem UniqueFactorizationMonoid.primeFactors_mul_eq_union

Modification history

2025-06-02 14:39
Mathlib/RingTheory/Radical.lean
chore: remove whitespace (#25363) …
Modified UniqueFactorizationMonoid.primeFactors_mul_eq_unionView on Github →
2025-06-01 19:52
Mathlib/RingTheory/Radical.lean
feat(RingTheory/Radical): generalise and fill in TODOs (#25335) …
Added UniqueFactorizationMonoid.primeFactors_mul_eq_unionView on Github →