Theorem UniqueFactorizationMonoid.exists_reduced_factors'

Modification history