Theorem UniqueFactorizationMonoid.factors_eq_normalizedFactors
Modification history
2024-03-15 12:53
Mathlib/RingTheory/UniqueFactorizationDomain.lean
fix: remove DecidableEq assumption from `factors` (#11158) …
Modified UniqueFactorizationMonoid.factors_eq_normalizedFactorsView on Github →