Theorem UniqueFactorizationMonoid.factors_zero

Modification history