Theorem UniqueFactorizationMonoid.irreducible_of_factor

Modification history