Theorem UniqueFactorizationMonoid.normalizedFactors_zero

Modification history