Theorem UniqueFactorizationMonoid.factors_pos

Modification history