Theorem UniqueFactorizationMonoid.factors_prod

Modification history