Theorem UniqueFactorizationMonoid.factors_unique

Modification history