Theorem UniqueFactorizationMonoid.induction_on_coprime

Modification history