Theorem UniqueFactorizationMonoid.multiplicative_of_coprime

Modification history